aaaa-nexus — Formally Verified AI Safety APIs for VS Code
io.github.atomadictech/aaaa-nexus
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
client:VS Code
transport:streamable-http
tools:44
Install aaaa-nexus — Formally Verified AI Safety APIs in VS Code
.vscode/mcp.json
{
"servers": {
"aaaa-nexus": {
"type": "http",
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}Requires agent mode. MCP: Open User Configuration puts the same block in every workspace. VS Code docs
What VS Code 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