MCP MeasureMCP Measure

índice observado

Atomadic Forge

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

Instalar

Instalación con un clic

Agrega esto a tu archivo `claude_desktop_config.json`:

{
  "mcpServers": {
    "atomadic-forge": {
      "command": "forge",
      "args": [
        "atomadic-forge"
      ]
    }
  }
}

Paquetes ejecutables

pypiatomadic-forge0.87.0stdio

Puntos de conexión remotos

https://forge.atomadic.tech/mcpstreamable-http

Qué puede hacer

Inventario de herramientas

No se ha registrado ninguna enumeración de herramientas publicable.

Comunidad

Califica este servidor

Evidencia

Observaciones recientes

observación fallidaversión no registrada—