Asynthetic MCP Server: Install & Setup

Install Asynthetic in Claude Code

Claude Code

claude mcp add --transport http asynthetic https://asynthetic.up.railway.app/mcp

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

{
  "mcpServers": {
    "asynthetic": {
      "url": "https://asynthetic.up.railway.app/mcp"
    }
  }
}

Claude Code

claude mcp add asynthetic -- npx -y asynthetic

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

{
  "mcpServers": {
    "asynthetic": {
      "command": "npx",
      "args": [
        "-y",
        "asynthetic"
      ]
    }
  }
}

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

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

Local + Remote. Can run locally or be used as a hosted remote server.

Run: claude mcp add --transport http asynthetic https://asynthetic.up.railway.app/mcp

AtlaSent/atlasent-mcp-server

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

Toby-Self/Asymptotic-Ethics-Model

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

jcschuster/AtpMcp

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

assymetrix/assymetrix-agent-tools

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

ai.attestari/attestari

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

baggybin/ask-fable

MCP server for Anthropic's Claude Fable, Opus 5, and multi-model reasoning councils.