aaaa-nexus — Formally Verified AI Safety APIs for Zed
io.github.atomadictech/aaaa-nexus
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
client:Zed
transport:streamable-http
tools:44
Install aaaa-nexus — Formally Verified AI Safety APIs in Zed
~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json
{
"context_servers": {
"aaaa-nexus": {
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}Merge this into your existing settings object — do not replace the file. Zed docs
What Zed 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