Loading MCP server directory, please wait...
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
npx @getmcp/cli add io.github.atomadictech/atomadic-forgeRequires Python 3.10+. Community-contributed server. Review source before installing.
Config file: ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"io.github.atomadictech/atomadic-forge": {
"command": "forge",
"args": [
"atomadic-forge",
"mcp",
"serve"
]
}
}
}Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.
Ephemeral data sandbox for AI workflows with guardrails and security
MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.
Hosted Google Calendar MCP server for AI agents. No self-hosting or Google Cloud setup.