Atomadic Forge

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

Hosted
officialapplication

Deployment

Hosted
streamable-httphttps://forge.atomadic.tech/mcp

Package Details

Transportstdio
Runtimeforge

Package Arguments

Positional
Position 0
mcp
Position 1
serve