Atomadic Forge
Development
Open Access
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Overview
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Capabilities
Authentication
Type: Open Access
Provider: none
Setup Instructions:
See provider documentation for connection details.
Endpoints
| Production: | https://forge.atomadic.tech/mcp |
Maintainer
atomadictech
GitHub: @atomadictech
Tags
mcp
remote