MCP 服务器
aaaa-nexus — Formally Verified AI Safety APIs
io.github.atomadictech/aaaa-nexus
此 MCP 可以做什么
Provides formally constrained agent safety and governance APIs for tool authorization, prompt-injection-resistant execution, identity, output certification, provenance, planning, and codebase analysis.
功能
工具
44
工具
aegis_mcp_proxy_execute
NEXUS AEGIS MCP-Sentinel gateway for prompt-injection resistant tool execution
输入模式
{'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
输入模式
{'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.
输入模式
{'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
输入模式
{'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.
输入模式
{'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.
输入模式
{'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
输入模式
{'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.
输入模式
{'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.
输入模式
{'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
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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
输入模式
{'type': 'object', 'properties': {'body': {'type': 'object', 'description': 'For POST tools: JSON body per the matching path in /openapi.json.'}}}
identity_verify
Topological identity verification
输入模式
{'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.
输入模式
{'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.
输入模式
{'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
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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).
输入模式
{'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.
输入模式
{'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.
输入模式
{'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)
输入模式
{'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
输入模式
{'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
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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).
输入模式
{'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
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'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.
输入模式
{'type': 'object', 'properties': {'body': {'type': 'object', 'description': 'For POST tools: JSON body per the matching path in /openapi.json.'}}}
历史
近期工具变更
已添加
certify_output
2026年9月17日 12:40
已添加
certify_codebase
2026年9月17日 12:40
已添加
lint_analyze
2026年9月17日 12:40
已添加
docs_generate
2026年9月17日 12:40
已添加
forge_audit
2026年9月17日 12:40
已添加
forge_tier_infer
2026年9月17日 12:40
已添加
forge_wire
2026年9月17日 12:40
已添加
forge_certify
2026年9月17日 12:40
已添加
forge_recon
2026年9月17日 12:40
已添加
omega_intent_nl
2026年9月17日 12:40
已添加
omega_emit_polyglot
2026年9月17日 12:40
已添加
omega_emit_materialize
2026年9月17日 12:40
已添加
omega_intent_route
2026年9月17日 12:40
已添加
entitlement_attest
2026年9月17日 12:40
已添加
keys_validate
2026年9月17日 12:40
已添加
agents_plan
2026年9月17日 12:40
已添加
intent_classify
2026年9月17日 12:40
已添加
sys_lint_gate
2026年9月17日 12:40
已添加
sys_trust_gate
2026年9月17日 12:40
已添加
text_summarize
2026年9月17日 12:40
已添加
rag_augment
2026年9月17日 12:40
已添加
sys_constants
2026年9月17日 12:40
已添加
uep_aha_detect
2026年9月17日 12:40
已添加
uep_trace_certify
2026年9月17日 12:40
已添加
uep_autopoiesis_plan
2026年9月17日 12:40
已添加
uep_synthesis_guard
2026年9月17日 12:40
已添加
uep_context
2026年9月17日 12:40
已添加
uep_preflight
2026年9月17日 12:40
已添加
vanguard_escrow_lock_and_verify
2026年9月17日 12:40
已添加
vanguard_wallet_govern_session
2026年9月17日 12:40
发现
类似的 MCP 服务器
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…