Editore · account GitHub
Server MCP pubblicati da atomadictech
2 server del MCP Registry ufficiale sono pubblicati sotto il namespace io.github.atomadictech/ e hanno una pagina in questa directory: 2 remoti, raggiungibili tramite URL, e 1 eseguito in locale da un pacchetto (1 offre entrambe le modalità). Prima pubblicazione: 7 aprile 2026; ultimo aggiornamento: 11 maggio 2026.
Cosa pubblica questo editore
I nomi sotto io.github.atomadictech/ possono essere pubblicati solo da chi accede al MCP Registry come utente GitHub atomadictech, o con i diritti che il registro richiede nell’organizzazione GitHub con quel nome (la sua documentazione ora richiede il ruolo di proprietario dell’organizzazione). Il nome indica quale account GitHub ha pubblicato la voce; non dimostra che l’account appartenga all’azienda del prodotto con cui funziona un server.
- Namespace
io.github.atomadictech- Server con una pagina
- 2
- Categorie
- sviluppo (1) e altro (1)
- Trasporti
- Streamable HTTP (2) e stdio (processo locale) (1)
- Registri di pacchetti
- PyPI (1)
- Server remoti che dichiarano un header
- 0 su 2
- Pacchetti che dichiarano variabili d’ambiente
- 0 su 1
- Siti web dichiarati
- aaaa-nexus.atomadictech.workers.dev e forge.atomadic.tech
- Prima pubblicazione
- 7 aprile 2026
- Ultimo aggiornamento
- 11 maggio 2026
Repository di origine
I 2 repository dichiarati da questi server, con il numero di server che citano ciascuno, dal più citato.
| Repository | Server |
|---|---|
| github.com/atomadictech/aaaa-nexus | 1 |
| github.com/atomadictech/atomadic-forge | 1 |
Tutti i 2 server, dalla A alla Z
| Server | Esecuzione |
|---|---|
| aaaa-nexus - Formally Verified AI Safety APIsFormally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup. | Remoto · HTTPVerifica live: ✓ handshake |
| Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert. | Remoto e locale · HTTP e stdioVerifica live: ✗ nessun handshake |
Raggruppati per namespace del registro, come indicato nel MCP Registry. Una pagina qui non è un avallo e nessuno paga per essere elencato: linee guida editoriali · Prima di collegare un server