AtlaSent MCP Server: Install & Setup

Install AtlaSent in Claude Code

Claude Code

claude mcp add atlasent -- npx -y @atlasent/mcp-server

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

{
  "mcpServers": {
    "atlasent": {
      "command": "npx",
      "args": [
        "-y",
        "@atlasent/mcp-server"
      ]
    }
  }
}

AtlaSent for AI agents: with an API key, actions wait for approval with signed proof. No key: demo.

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

Run: claude mcp add atlasent -- npx -y @atlasent/mcp-server

jcschuster/AtpMcp

Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.

asyntheticai/asynthetic

Ground truth for AI coding agents: what breaks between library versions and how to fix it

ai.attestari/attestari

Attestari's verdict on an npm or PyPI package version, asked before an agent installs it.

Toby-Self/Asymptotic-Ethics-Model

MCP server for an Asymptotic Ethics governance simulation with a verified compliance oracle.

marcelinero/auditoria-skills-mcp

20 SKILLs de auditoría interna para agentes de IA según IIA, COSO, NIST, ISO, COBIT y ACFE.

assymetrix/assymetrix-agent-tools

Read-only prediction market data (Polymarket, Kalshi, Limitless) from the Assymetrix Data API.