MCP

Atomadic Forge

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

Reclamar este listado

Conecta tu cuenta de GitHub para demostrar que eres el propietario o el responsable de este listado. Verificamos el acceso al repo automáticamente: la mayoría de los publicadores se confirman en segundos.

1Conecta GitHub

2Envía tu reclamación

3Verificación automática, o revisión en 48 h