Editor · cuenta de GitHub
Servidores MCP publicados por atomadictech
2 servidores del MCP Registry oficial están publicados bajo el espacio de nombres io.github.atomadictech/ y tienen página en este directorio: 2 son remotos, accesibles por URL, y 1 se ejecuta en local desde un paquete (1 ofrece ambas opciones). Primera publicación: 7 de abril de 2026; última actualización: 11 de mayo de 2026.
Qué publica este editor
Los nombres bajo io.github.atomadictech/ solo puede publicarlos quien inicie sesión en el MCP Registry como el usuario de GitHub atomadictech o con los derechos que el registro exige en la organización de GitHub con ese nombre (su documentación pide ahora ser propietario de la organización). El nombre indica qué cuenta de GitHub publicó la entrada; no demuestra que la cuenta pertenezca a la empresa con cuyo producto funciona un servidor.
- Espacio de nombres
io.github.atomadictech- Servidores con página
- 2
- Categorías
- desarrollo (1) y otros (1)
- Transportes
- Streamable HTTP (2) y stdio (proceso local) (1)
- Registros de paquetes
- PyPI (1)
- Servidores remotos que declaran un encabezado
- 0 de 2
- Paquetes que declaran variables de entorno
- 0 de 1
- Sitios web declarados
- aaaa-nexus.atomadictech.workers.dev y forge.atomadic.tech
- Primera publicación
- 7 de abril de 2026
- Última actualización
- 11 de mayo de 2026
Repositorios de código fuente
Los 2 repositorios que declaran estos servidores, con cuántos servidores indican cada uno, primero los más citados.
| Repositorio | Servidores |
|---|---|
| github.com/atomadictech/aaaa-nexus | 1 |
| github.com/atomadictech/atomadic-forge | 1 |
Los 2 servidores, de la A a la Z
| Servidor | Ejecución |
|---|---|
| aaaa-nexus - Formally Verified AI Safety APIsFormally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert. | Remoto y local · HTTP y stdioComprobación en directo: ✗ sin negociación inicial |
Agrupados por espacio de nombres del registro, tal como lo indica el MCP Registry. Tener página aquí no supone ningún respaldo y nadie paga por figurar: política editorial · Antes de conectar un servidor