Atomadic Forge for Claude.ai
io.github.atomadictech/atomadic-forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
client:Claude.ai
transport:streamable-http
runtime:pypi
Install Atomadic Forge in Claude.ai
Settings → Connectors → Add custom connector
https://forge.atomadic.tech/mcp
Claude on the web takes a remote URL and completes OAuth in the browser. For a packaged server use Claude Desktop or Claude Code instead. Claude.ai docs