aaaa-nexus — Formally Verified AI Safety APIs
Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.
¿Debería usar esto?
Calidad y seguridad
Hallazgos (13)
- LOWTool 'rng_quantum' description lacks action verben rng_quantum
- LOWTool 'ratchet_register' description lacks action verben ratchet_register
- LOWTool 'vanguard_mev_route_intent' description lacks action verben vanguard_mev_route_intent
- LOWTool 'vanguard_wallet_govern_session' description lacks action verben vanguard_wallet_govern_session
- LOWTool 'uep_context' description lacks action verben uep_context
- LOWTool 'uep_autopoiesis_plan' description lacks action verben uep_autopoiesis_plan
- LOWTool 'uep_aha_detect' description lacks action verben uep_aha_detect
- LOWTool 'sys_lint_gate' description lacks action verben sys_lint_gate
- LOWTool 'omega_intent_nl' description lacks action verben omega_intent_nl
- LOWTool 'forge_recon' description lacks action verben forge_recon
Basado en el análisis automatizado de las definiciones de herramientas y el cumplimiento del protocolo.
Costo de contexto
Este es el número aproximado de tokens que se consumen cada vez que las herramientas del servidor se cargan en el contexto de un modelo. Los recuentos más altos reducen la atención disponible para otras tareas.
Instalar
Instalación con un clic
Agrega esto a tu archivo `claude_desktop_config.json`:
{
"mcpServers": {
"aaaa-nexus": {
"url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
}
}
}Puntos de conexión remotos
https://aaaa-nexus.atomadictech.workers.dev/mcpstreamable-httpQué puede hacer
Inventario de herramientas
Herramientas (44)
⚪rng_quantum(body)
Quantum-seeded random bytes with HMAC-SHA256 entropy proof
Esquema de entrada
{
"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
Esquema de entrada
{
"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
Esquema de entrada
{
"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
Esquema de entrada
{
"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)
Esquema de entrada
{
"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
Esquema de entrada
{
"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
Esquema de entrada
{
"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
Esquema de entrada
{
"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
Esquema de entrada
{
"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
Esquema de entrada
{
"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
Esquema de entrada
{
"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
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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).
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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).
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"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.
Esquema de entrada
{
"type": "object",
"properties": {
"body": {
"description": "For POST tools: JSON body per the matching path in /openapi.json.",
"type": "object"
}
}
}Comunidad
Evidencia