MCP Radar
MCP Server

aaaa-nexus — Formally Verified AI Safety APIs

io.github.atomadictech/aaaa-nexus
Developer Tools MCP & Agent Infrastructure Security Public & reachable MCP 2026-07-28

What this MCP does

Provides formally constrained agent safety and governance APIs for tool authorization, prompt-injection-resistant execution, identity, output certification, provenance, planning, and codebase analysis.

Capabilities

Tools

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

Recent tool changes

Added
certify_output
Sept. 17, 2026, 12:40 p.m.
Added
certify_codebase
Sept. 17, 2026, 12:40 p.m.
Added
lint_analyze
Sept. 17, 2026, 12:40 p.m.
Added
docs_generate
Sept. 17, 2026, 12:40 p.m.
Added
forge_audit
Sept. 17, 2026, 12:40 p.m.
Added
forge_tier_infer
Sept. 17, 2026, 12:40 p.m.
Added
forge_wire
Sept. 17, 2026, 12:40 p.m.
Added
forge_certify
Sept. 17, 2026, 12:40 p.m.
Added
forge_recon
Sept. 17, 2026, 12:40 p.m.
Added
omega_intent_nl
Sept. 17, 2026, 12:40 p.m.
Added
omega_emit_polyglot
Sept. 17, 2026, 12:40 p.m.
Added
omega_emit_materialize
Sept. 17, 2026, 12:40 p.m.
Added
omega_intent_route
Sept. 17, 2026, 12:40 p.m.
Added
entitlement_attest
Sept. 17, 2026, 12:40 p.m.
Added
keys_validate
Sept. 17, 2026, 12:40 p.m.
Added
agents_plan
Sept. 17, 2026, 12:40 p.m.
Added
intent_classify
Sept. 17, 2026, 12:40 p.m.
Added
sys_lint_gate
Sept. 17, 2026, 12:40 p.m.
Added
sys_trust_gate
Sept. 17, 2026, 12:40 p.m.
Added
text_summarize
Sept. 17, 2026, 12:40 p.m.
Added
rag_augment
Sept. 17, 2026, 12:40 p.m.
Added
sys_constants
Sept. 17, 2026, 12:40 p.m.
Added
uep_aha_detect
Sept. 17, 2026, 12:40 p.m.
Added
uep_trace_certify
Sept. 17, 2026, 12:40 p.m.
Added
uep_autopoiesis_plan
Sept. 17, 2026, 12:40 p.m.
Added
uep_synthesis_guard
Sept. 17, 2026, 12:40 p.m.
Added
uep_context
Sept. 17, 2026, 12:40 p.m.
Added
uep_preflight
Sept. 17, 2026, 12:40 p.m.
Added
vanguard_escrow_lock_and_verify
Sept. 17, 2026, 12:40 p.m.
Added
vanguard_wallet_govern_session
Sept. 17, 2026, 12:40 p.m.
Discover

Similar MCP servers

hyperion

com.thetempleofdoom.hyperion/hyperion

Acts as a paid MCP tool marketplace and utility gateway with server discovery, HTTP and JavaScript tools, research, data conversi…

Aziel Runtime

io.github.AzielEliab/aziel-runtime

Provides a governed MCP runtime with registry discovery, controlled tool execution, provenance receipts, integrity checks, memory…

Sigistry Plugin & Skill Catalog

com.sigistry/plugin-catalog

Searches verified Claude Code plugins and skills, retrieves portable skill sources, and provides MCP server security scorecards.

fetchgate

dev.fetchgate/fetchgate

Fetches web pages as Markdown or metadata, exposes a digital-goods catalog, and scans remote MCP tool descriptions for poisoning …

AIMEAT

io.aimeat/aimeat

Provides a self-hosted agent operating system with agent work delegation, access controls, federation, hooks, SSO, security admin…

Vee3

io.github.Vee3io/vee3

Manages Clerk authentication infrastructure, including users, organizations, domains, sessions, tokens, OAuth, SSO, machines, per…

Japan Public Ledgers MCP

com.mcp-revenue-empire/japan-public-ledgers

Provides agent identity, memory, audit, trust, proxy, temporary email, webhook, CAPTCHA, and alerting capabilities alongside publ…

IA-QA — 130+ QA & Dev Tools for AI Agents

io.github.JcJamet/ia-qa-toolbox

Provides deterministic QA, evaluation, testing, code analysis, prompt and RAG checks, model comparison, and web security diagnost…