McpServerIndex
AI & Agent ToolsActive

Atomadic Forge

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

AI & Agent Toolsactivestreamable-httpRemotePackageOpen Sourcepypi

About This MCP Server

Connection type
Remote endpoint available
Transport
streamable-http
Package registry
pypi
Package identifier
atomadic-forge
Remote endpoint
Available
Repository
Available
Registry
io.github.atomadictech/atomadic-forge
Version
0.87.0

Install Command

Use this package command in an MCP client configuration.

uvx atomadic-forge

Source & Metadata

Registry name
io.github.atomadictech/atomadic-forge
Status
active
Created
May 11, 2026
Updated
May 11, 2026
Last synced
Aug 18, 2026
Version
0.87.0
Transport
streamable-http
Package type
pypi

Related MCP Servers