MCP server: One MCP server.MCP server: One MCP server.
aaaa-nexus — Formally Verified AI Safety APIs
@atomadictechMCP server · External
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
AI agent governancev0.4.0
Freeno charge per call
One address for any MCP client. No sign-in needed on this server.
What it does
5 read5 act34 other
Grouped by tool name. At most: moves money, runs code or commands, deletes data, or sends messages for you.
What it costs
FreeOdel charges nothing per call. The publisher may charge for its own service.
Tools
44 · grouped by tool name · checked 12 Oct 2026Read · 5Look things up
- identity_verify
- contract_verify
- text_summarize
- keys_validate
- lint_analyze
Act · 5Change something
- ratchet_register
- authorize_action
- spending_authorize
- federation_mint
- vanguard_escrow_lock_and_verify
Other · 34Neither hinted nor named
- rng_quantum
- threat_score
- hallucination_oracle
- lineage_record
- aegis_mcp_proxy_execute
- aegis_router_epistemic_bound
- vanguard_continuous_redteam
- vanguard_mev_route_intent
- vanguard_wallet_govern_session
- uep_preflight
- uep_context
- uep_synthesis_guard
- uep_autopoiesis_plan
- uep_trace_certify
- uep_aha_detect
- sys_constants
- rag_augment
- sys_trust_gate
- sys_lint_gate
- intent_classify
- agents_plan
- entitlement_attest
- omega_intent_route
- omega_emit_materialize
- omega_emit_polyglot
- omega_intent_nl
- forge_recon
- forge_certify
- forge_wire
- forge_tier_infer
- forge_audit
- docs_generate
- certify_codebase
- certify_output
No README yet. What Odel knows about this module is on the right.
