atomadic-forge

MCP serverDev tools

Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.

Serves today. ahel can serve it to every connected agent through your gateway link.

Serve it through your gateway

One link, every agent. Your own credentials, stored once.

github.com/atomadictech/atomadic-forge

More in Dev tools

airtreks-mcp
MCP server · airtreks sportwizzard
MCP server · adamruehle world-data-statistics
MCP server · adarsh4052 0nMCP
MCP server · 0nork github-mcp-server
MCP server · github reactive-resume
MCP server · amruthpillai