MCP Radar
MCP-Server

aaaa-nexus — Formally Verified AI Safety APIs

io.github.atomadictech/aaaa-nexus
Entwicklertools MCP- & Agenten-Infrastruktur Sicherheit Öffentlich und erreichbar MCP 2026-07-28

Was dieses MCP kann

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

Funktionen

Tools

44 Tools
aegis_mcp_proxy_execute
NEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution
Eingabeschema 
{'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
Eingabeschema 
{'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.
Eingabeschema 
{'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
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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
Eingabeschema 
{'type': 'object', 'properties': {'body': {'type': 'object', 'description': 'For POST tools: JSON body per the matching path in /openapi.json.'}}}
identity_verify
Topological identity verification
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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).
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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)
Eingabeschema 
{'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
Eingabeschema 
{'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
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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).
Eingabeschema 
{'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
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'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.
Eingabeschema 
{'type': 'object', 'properties': {'body': {'type': 'object', 'description': 'For POST tools: JSON body per the matching path in /openapi.json.'}}}
Verlauf

Letzte Tool-Änderungen

Hinzugefügt
certify_output
17. September 2026 12:40
Hinzugefügt
certify_codebase
17. September 2026 12:40
Hinzugefügt
lint_analyze
17. September 2026 12:40
Hinzugefügt
docs_generate
17. September 2026 12:40
Hinzugefügt
forge_audit
17. September 2026 12:40
Hinzugefügt
forge_tier_infer
17. September 2026 12:40
Hinzugefügt
forge_wire
17. September 2026 12:40
Hinzugefügt
forge_certify
17. September 2026 12:40
Hinzugefügt
forge_recon
17. September 2026 12:40
Hinzugefügt
omega_intent_nl
17. September 2026 12:40
Hinzugefügt
omega_emit_polyglot
17. September 2026 12:40
Hinzugefügt
omega_emit_materialize
17. September 2026 12:40
Hinzugefügt
omega_intent_route
17. September 2026 12:40
Hinzugefügt
entitlement_attest
17. September 2026 12:40
Hinzugefügt
keys_validate
17. September 2026 12:40
Hinzugefügt
agents_plan
17. September 2026 12:40
Hinzugefügt
intent_classify
17. September 2026 12:40
Hinzugefügt
sys_lint_gate
17. September 2026 12:40
Hinzugefügt
sys_trust_gate
17. September 2026 12:40
Hinzugefügt
text_summarize
17. September 2026 12:40
Hinzugefügt
rag_augment
17. September 2026 12:40
Hinzugefügt
sys_constants
17. September 2026 12:40
Hinzugefügt
uep_aha_detect
17. September 2026 12:40
Hinzugefügt
uep_trace_certify
17. September 2026 12:40
Hinzugefügt
uep_autopoiesis_plan
17. September 2026 12:40
Hinzugefügt
uep_synthesis_guard
17. September 2026 12:40
Hinzugefügt
uep_context
17. September 2026 12:40
Hinzugefügt
uep_preflight
17. September 2026 12:40
Hinzugefügt
vanguard_escrow_lock_and_verify
17. September 2026 12:40
Hinzugefügt
vanguard_wallet_govern_session
17. September 2026 12:40
Entdecken

Ähnliche MCP-Server

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…