MCP MeasureMCP Measure

インデックス観測済み

aaaa-nexus — Formally Verified AI Safety APIs

Formally verified AI safety APIs. Pay-per-call via USDC (x402). 75+ endpoints, no signup.

使うべきか

品質と安全性

A
説明の品質
83%
スキーマの完全性
90%
命名の品質
80%
ポイズニングのリスク
100%
権限の一致
100%
プロトコルへの準拠
100%

検出事項（13）

  • LOWTool 'rng_quantum' description lacks action verbrng_quantum 内
  • LOWTool 'ratchet_register' description lacks action verbratchet_register 内
  • LOWTool 'vanguard_mev_route_intent' description lacks action verbvanguard_mev_route_intent 内
  • LOWTool 'vanguard_wallet_govern_session' description lacks action verbvanguard_wallet_govern_session 内
  • LOWTool 'uep_context' description lacks action verbuep_context 内
  • LOWTool 'uep_autopoiesis_plan' description lacks action verbuep_autopoiesis_plan 内
  • LOWTool 'uep_aha_detect' description lacks action verbuep_aha_detect 内
  • LOWTool 'sys_lint_gate' description lacks action verbsys_lint_gate 内
  • LOWTool 'omega_intent_nl' description lacks action verbomega_intent_nl 内
  • LOWTool 'forge_recon' description lacks action verbforge_recon 内

ツール定義とプロトコルへの準拠に関する自動分析に基づいています。

コンテキストコスト

~2,785トークン数（ツール定義）
~417 B一般的なレスポンスサイズ
注意への影響は大きい（128k コンテキストの 2.18%）

これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。

インストール

ワンクリックインストール

これを `claude_desktop_config.json` ファイルに追加してください:

{
  "mcpServers": {
    "aaaa-nexus": {
      "url": "https://aaaa-nexus.atomadictech.workers.dev/mcp"
    }
  }
}

リモートエンドポイント

https://aaaa-nexus.atomadictech.workers.dev/mcpstreamable-http

できること

ツール一覧

ツール（44）

🟢 読み取り専用🟡 書き込み🔴 削除⚪ 不明
⚪rng_quantum(body)

Quantum-seeded random bytes with HMAC-SHA256 entropy proof

入力スキーマ

{
  "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

入力スキーマ

{
  "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

入力スキーマ

{
  "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

入力スキーマ

{
  "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)

入力スキーマ

{
  "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

入力スキーマ

{
  "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

入力スキーマ

{
  "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

入力スキーマ

{
  "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

入力スキーマ

{
  "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

入力スキーマ

{
  "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

入力スキーマ

{
  "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

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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).

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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).

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "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.

入力スキーマ

{
  "type": "object",
  "properties": {
    "body": {
      "description": "For POST tools: JSON body per the matching path in /openapi.json.",
      "type": "object"
    }
  }
}

コミュニティ

このサーバーを評価する

エビデンス

最近の観測

検証済みバージョンは記録されていませんツール 44 件
検証済みバージョンは記録されていませんツール 44 件