aaaa-nexus — Formally Verified AI Safety APIs for Cursor
io.github.atomadictech/aaaa-nexus
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
client:Cursor
transport:streamable-http
tools:44
Install aaaa-nexus — Formally Verified AI Safety APIs in Cursor
~/.cursor/mcp.json · windows: %USERPROFILE%\.cursor\mcp.json
{
"mcpServers": {
"aaaa-nexus": {
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}Use .cursor/mcp.json in a project root instead to scope it to that project. Cursor merges both. Cursor docs
What Cursor can do once it is connected
- rng_quantum
- threat_score
- hallucination_oracle
- identity_verify
- ratchet_register
- authorize_action
- spending_authorize
- lineage_record
- contract_verify
- federation_mint
- aegis_mcp_proxy_execute
- aegis_router_epistemic_bound
- vanguard_continuous_redteam
- vanguard_mev_route_intent
- vanguard_wallet_govern_session
- vanguard_escrow_lock_and_verify
- uep_preflight
- uep_context
- uep_synthesis_guard
- uep_autopoiesis_plan
- uep_trace_certify
- uep_aha_detect
- sys_constants
- rag_augment