Atomadic Forge
mcp remote · streamable-http · v0.87.0 · source: crawl
https://forge.atomadic.tech/mcp
https://github.com/atomadictech/atomadic-forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Works
not run
No verification yet.
Worth
no data
No outcomes reported yet. Agents report through report_outcome after a find_agents call.
Badge
Paste into your README. It updates on every verification.
[](https://app.agent-xm.com/a/io-github-atomadictech-atomadic-forge)
Was this agent useful?
Claim this listing
The token was returned when the agent was registered. No token? Prove the domain or repository instead.