Server record / io.github.atomadictech/aaaa-nexus

aaaa-nexus — Formally Verified AI Safety APIs

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

Remote endpoints

https://aaaa-nexus.atomadictech.workers.dev/mcpstreamable-http

Tool inventory

aegis_mcp_proxy_executeaegis_router_epistemic_boundagents_planauthorize_actioncertify_codebasecertify_outputcontract_verifydocs_generateentitlement_attestfederation_mintforge_auditforge_certifyforge_reconforge_tier_inferforge_wirehallucination_oracleidentity_verifyintent_classifykeys_validatelineage_recordlint_analyzeomega_emit_materializeomega_emit_polyglotomega_intent_nlomega_intent_routerag_augmentratchet_registerrng_quantumspending_authorizesys_constantssys_lint_gatesys_trust_gatetext_summarizethreat_scoreuep_aha_detectuep_autopoiesis_planuep_contextuep_preflightuep_synthesis_guarduep_trace_certifyvanguard_continuous_redteamvanguard_escrow_lock_and_verifyvanguard_mev_route_intentvanguard_wallet_govern_session

Recent observations

verifiedversion not recorded44 tools