Uitgever · GitHub-account
MCP-servers gepubliceerd door atomadictech
2 servers in de officiële MCP Registry zijn gepubliceerd onder de namespace io.github.atomadictech/ en hebben een pagina in deze directory: 2 extern, bereikbaar via URL, en 1 draait lokaal vanuit een pakket (1 biedt beide). Eerst gepubliceerd op 7 april 2026; laatste update 11 mei 2026.
Wat deze uitgever publiceert
Namen onder io.github.atomadictech/ kunnen alleen worden gepubliceerd door iemand die bij de MCP Registry inlogt als de GitHub-gebruiker atomadictech, of met de rechten die het register vereist in de GitHub-organisatie met die naam (de documentatie vraagt inmiddels om een eigenaar van de organisatie). De naam laat zien welk GitHub-account de registervermelding heeft gepubliceerd; hij laat niet zien dat het account toebehoort aan het bedrijf met wiens product een server werkt.
- Namespace
io.github.atomadictech- Servers met een pagina
- 2
- Categorieën
- ontwikkeling (1) en overig (1)
- Transports
- Streamable HTTP (2) en stdio (lokaal proces) (1)
- Pakketregisters
- PyPI (1)
- Externe servers die een header opgeven
- 0 van 2
- Pakketten die omgevingsvariabelen opgeven
- 0 van 1
- Opgegeven websites
- aaaa-nexus.atomadictech.workers.dev en forge.atomadic.tech
- Eerst gepubliceerd
- 7 april 2026
- Laatste update
- 11 mei 2026
Bronrepository’s
De 2 repository’s die deze servers opgeven, met per repository het aantal servers dat hem noemt, de vaakst genoemde eerst.
| Repository | Servers |
|---|---|
| github.com/atomadictech/aaaa-nexus | 1 |
| github.com/atomadictech/atomadic-forge | 1 |
Alle 2 servers, van A tot Z
| Server | Draait |
|---|---|
| aaaa-nexus - Formally Verified AI Safety APIsFormally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup. | Extern · HTTPLivecontrole: ✓ handshake |
| Atomadic ForgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert. | Extern en lokaal · HTTP en stdioLivecontrole: ✗ geen handshake |
Gegroepeerd per namespace in het register, zoals de MCP Registry die vermeldt. Een pagina hier is geen aanbeveling en niemand betaalt voor een vermelding: redactioneel beleid · Voordat je verbinding maakt met een server