aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
Should I use this
Quality & Safety
Findings (13)
- LOWTool 'rng_quantum' description lacks action verbin rng_quantum
- LOWTool 'ratchet_register' description lacks action verbin ratchet_register
- LOWTool 'vanguard_mev_route_intent' description lacks action verbin vanguard_mev_route_intent
- LOWTool 'vanguard_wallet_govern_session' description lacks action verbin vanguard_wallet_govern_session
- LOWTool 'uep_context' description lacks action verbin uep_context
- LOWTool 'uep_autopoiesis_plan' description lacks action verbin uep_autopoiesis_plan
- LOWTool 'uep_aha_detect' description lacks action verbin uep_aha_detect
- LOWTool 'sys_lint_gate' description lacks action verbin sys_lint_gate
- LOWTool 'omega_intent_nl' description lacks action verbin omega_intent_nl
- LOWTool 'forge_recon' description lacks action verbin forge_recon
Based on automated analysis of tool definitions and protocol compliance.
Context Cost
This is the approximate number of tokens consumed each time the server's tools are loaded into a model's context. Higher counts reduce the attention available for other tasks.
Install
One-Click Install
Add this to your `claude_desktop_config.json` file:
{
"mcpServers": {
"aaaa-nexus": {
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}Remote endpoints
https://aaaa-nexus.atomadictech.workers.dev/mcpstreamable-httpWhat it can do
Tool inventory
Tools (44)
⚪rng_quantum(body)
Quantum-seeded random bytes with HMAC-SHA256 entropy proof
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪threat_score(body)
Score a JSON payload for security threats using triality consensus
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}🟢hallucination_oracle(body)
Get the LLM hallucination threshold constant
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪identity_verify(body)
Topological identity verification
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪ratchet_register(body)
Register a new 47-epoch RatchetGate session (MCP CVE-2025-6514 mitigation)
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪authorize_action(body)
Pre-action authorization gateway — deterministic tool-call gating with cryptographic tokens
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪spending_authorize(body)
Spending governance — validate agent chain spending within trust-decay bounds
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪lineage_record(body)
Decision lineage vault — structured decision trace capture with tamper-proof hash chain
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪contract_verify(body)
Behavioral contract verifier — verify agent policy claims against formal bounds
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪federation_mint(body)
Agent identity federation — mint cross-platform portable identity tokens
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪aegis_mcp_proxy_execute(body)
NEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪aegis_router_epistemic_bound(body)
NEXUS AEGIS reverse proxy that blocks high-entropy or low-confidence generations
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪vanguard_continuous_redteam(body)
NEXUS VANGUARD continuous red teaming for DeFi contracts and transaction bundles.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪vanguard_mev_route_intent(body)
NEXUS VANGUARD MEV route intent protection and shield bundle orchestration.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪vanguard_wallet_govern_session(body)
NEXUS VANGUARD UCAN governance session issuance for structured wallet approval.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪vanguard_escrow_lock_and_verify(body)
NEXUS VANGUARD escrow lock-and-verify with contract validation and release gating.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪uep_preflight(body)
UEP phase-0 preflight gate — bounded task summary and friction estimate before execution.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪uep_context(body)
UEP context pack synthesis — merge recon snippets into a single agent-facing context object.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪uep_synthesis_guard(body)
UEP synthesis guard — block ungrounded expansions when evidence links are missing.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪uep_autopoiesis_plan(body)
UEP autopoiesis plan — structured self-maintenance loop proposal with rollback hooks.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪uep_trace_certify(body)
UEP trace certification — sign a decision trace checksum for audit vault handoff.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪uep_aha_detect(body)
UEP AHA moment detector — novelty spike scoring for epiphany-style gates.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪sys_constants(body)
Sys constants snapshot — public tier counts, trust floor, and block dimension anchors.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}🟢rag_augment(body)
Trusted RAG augment — retrieve-and-quote augmentation with provenance hashes.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪text_summarize(body)
Extractive text summarizer for bounded passages (JSON in, summary out).
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪sys_trust_gate(body)
Sys trust gate — PASS/FAIL hallucination and drift screen for agent payloads.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪sys_lint_gate(body)
Sys lint gate — structural policy lint over JSON agent plans.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪intent_classify(body)
Keyword intent classifier for agent utterances — query/command/report/alert lanes.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪agents_plan(body)
Rule-based goal decomposition into 3–5 deterministic execution steps.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪keys_validate(body)
Validate X-API-Key entitlement tier (paid/extended/master) before gated tool calls.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪entitlement_attest(body)
Attest Ed25519-style entitlement token structure + signature for sovereign emit access.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪omega_intent_route(body)
Rank sovereign intent lanes (recon/emit/heal/govern/hive/synthesis) — deterministic router.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪omega_emit_materialize(body)
Materialize deterministic contract sketch from intent — logic upstream of language.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪omega_emit_polyglot(body)
Language-agnostic emit targets from frozen contract — Python/Rust/TS/JS/Go sketches.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪omega_intent_nl(body)
Structured intent → agent-facing NL sketch (training signal, not human blueprint).
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪forge_recon(body)
Polyglot repo recon — language/tier/source breakdown for monadic architectures.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪forge_certify(body)
Polyglot 4-axis certify (docs/tests/layout/wire) with scored verdict.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪forge_wire(body)
Repo-wide upward-import wire scan — polyglot tier discipline check.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪forge_tier_infer(body)
Infer monadic tier placement for a file path from polyglot heuristics.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪forge_audit(body)
Compound Forge audit — recon + certify + wire in one deterministic pass.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪docs_generate(body)
Deterministic documentation enrichment targets from local path analysis.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}🟢lint_analyze(body)
Synthesize lint findings from supplied local analysis artifacts.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪certify_codebase(body)
Countersign local Forge certificate with storefront attestation lane.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}⚪certify_output(body)
Output certification notary — tamper-evident seal on agent deliverables.
Input Schema
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}Community
Evidence