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개
검증됨버전이 기록되지 않음도구 44개