Atomadic Forge MCP Server
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Install
{
"mcpServers": {
"atomadictech-atomadic-forge": {
"command": "forge",
"args": [
"atomadic-forge"
]
}
}
}Related servers
pagespeed-insights-mcp
75GoodGoogle PageSpeed Insights and CrUX: six workflow tools for web performance.
Hive Intelligence MCP
73GoodEvidence-backed crypto due diligence with sources, freshness, and a runtime receipt on every call.