Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Free account. Installing gives you the manifest plus copy-paste snippets.
See reviewsImported from the official MCP registry - entry
io.github.atomadictech/atomadic-forgev0.87.0. Ratings and installs below are from this marketplace.
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
streamable-http https://forge.atomadic.tech/mcpatomadic-forge @ 0.87.0Source: https://github.com/atomadictech/atomadic-forge
Registry entry: io.github.atomadictech/atomadic-forge
Copy one of these into your project. Installing also returns the manifest and these snippets.
targets:
- https://api.opensmartroute.ai/api/v1/registry/mcp-io-github-atomadictech-atomadic-forge/manifest # or paste the manifest belowAn Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.
{
"ocm": "1",
"id": "mcp-io-github-atomadictech-atomadic-forge",
"kind": "tool",
"name": "Atomadic Forge",
"description": "Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.",
"publisher": "atomadictech",
"version": "0.87.0",
"capabilities": {
"domains": [
"coding",
"math"
],
"tags": [
"mcp",
"mcp-server",
"pypi",
"mcp-registry"
],
"languages": [
"en"
],
"supports_tools": true
},
"quality_prior": 0.6,
"examples": [
"Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert."
],
"primary": false,
"metadata": {
"source": {
"provider": "mcp-registry",
"repository": "https://github.com/atomadictech/atomadic-forge",
"path": "server.json",
"ref": "0.87.0",
"url": "https://github.com/atomadictech/atomadic-forge",
"key": "io.github.atomadictech/atomadic-forge",
"registry": "https://registry.modelcontextprotocol.io"
}
},
"endpoints": [
{
"protocol": "mcp",
"url": "https://forge.atomadic.tech/mcp"
}
]
}Fetch it by URL: GET /api/v1/registry/mcp-io-github-atomadictech-atomadic-forge/manifest?version=0.87.0
Star ratings from people who tried it. One review per account; edit yours any time.
No reviews yet. Install it, try it, and be the first to rate it.