MCP Server
MCP
Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Install
uvx atomadic-forge
Configuration Example
{
"remotes": [
{
"type": "streamable-http",
"url": "https://forge.atomadic.tech/mcp"
}
],
"packages": [
{
"registryType": "pypi",
"identifier": "atomadic-forge",
"version": "0.87.0",
"runtimeHint": "forge",
"transport": {
"type": "stdio"
},
"packageArguments": [
{
"value": "mcp",
"type": "positional"
},
{
"value": "serve",
"type": "positional"
}
]
}
]
}
mcp
model-context-protocol
streamable-http
pypi
By
Comments
Sign in to leave a comment