Back to MCP servers

Atomadic Forge

https://forge.atomadic.tech/mcp

● degraded

Architecture compiler for AI code. 10 tools, 64 actions, 886 Lean4 proofs, 100/100 self-cert.

Transport

streamable-http

Auth

—

Cost

—

How to connect

MCP endpoint (streamable-http)

https://forge.atomadic.tech/mcp

JSON-RPC initialize probe

curl -X POST https://forge.atomadic.tech/mcp \
  -H 'Content-Type: application/json' \
  -H 'Accept: application/json, text/event-stream' \
  -d '{"jsonrpc":"2.0","id":1,"method":"initialize","params":{}}'

Homepage

https://forge.atomadic.tech

Source code

https://github.com/atomadictech/atomadic-forge