Atomadic Forge
远程Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
安装配置
{
"mcpServers": {
"atomadic-forge": {
"url": "https://forge.atomadic.tech/mcp"
}
}
}
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
{
"mcpServers": {
"atomadic-forge": {
"url": "https://forge.atomadic.tech/mcp"
}
}
}