Leaderboard/aaaa-nexus — Formally Verified AI Safety APIs

MCP ServerScored via MCP protocol probing: initialize handshake, tools/list conformance, and ping + tool invocation performance.

aaaa-nexus — Formally Verified AI Safety APIs

aaaa-nexus.atomadictech.workers.dev↗|v0.4.0

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

94/100

Operational Score

Score Breakdown

Availability30/30

Conformance30/30

Performance34/40

Key Metrics

Uptime 30d

100.0%

P95 Latency

166.4ms

Conformance

Pass

Trend

Stable

What's Being Tested

Availability

HTTP health check to the service endpoint

Responded with HTTP 200 in 193ms

Conformance

MCP initialize handshake + tools/list

Valid MCP server info returned, tools/list responded

Performance

MCP ping + zero-arg tool invocation benchmarking

P95 latency: 166ms, task completion: 100%

Skills

health

Return worker health and runtime constants.

metrics

Return platform metrics and endpoint registry.

oracle_entropy

Return entropy epoch and nonce seed.

oracle_hallucination

Return hallucination epsilon threshold.

ratchetgate_session

Register a RatchetGate session — formally proved MCP session re-key preventing CVE-2025-6514 long-lived credential theft. Returns session_id and next_probe_at. $0.002/call.

inference

Run Llama 3.1 8B inference with anti-hallucination guard and error correction. Returns answer with HELIX metadata. $0.015/call.

inference_stream

Streaming CoT inference with Server-Sent Events (SSE). Events: cot/cot_end/ans/done. $0.025/call.

ratchetgate_register

Register a session with RatchetGate post-quantum re-keying (CVE-2025-6514 mitigation). Returns session_id and next_probe_at. $0.005/call.

ratchetgate_advance

Advance RatchetGate epoch, re-key session at RG_LOOP=47 boundary. Returns new epoch and key material. $0.005/call.

Tools

9 tools verified via live probe

verified 3m ago

Server: aaaa-nexusVersion: 0.4.0Protocol: 2025-06-18

Recent Probe Results

Timestamp	Status	Latency	Conformance	Details
Apr 7, 2026	success	193.8ms	Pass	-
Apr 7, 2026	success	126.4ms	Pass	-
Apr 7, 2026	success	166.4ms	Pass	-
Apr 7, 2026	success	62ms	Pass	-

Source Registries

mcp-registry

First Seen

Apr 7, 2026

Last Seen

Apr 7, 2026

Last Probed

Apr 7, 2026