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

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

97/100
Operational Score
Score Breakdown
Availability30/30
Conformance30/30
Performance37/40
Key Metrics
Uptime 30d
100.0%
P95 Latency
143.7ms
Conformance
Pass
Trend
What's Being Tested
Availability
HTTP health check to the service endpoint
Responded with HTTP 405 in 98ms
Conformance
MCP initialize handshake + tools/list
Valid MCP server info returned, tools/list responded
Performance
MCP ping + zero-arg tool invocation benchmarking
P95 latency: 143ms, task completion: 100%
Tools
27 tools verified via live probe
verified May 9
Server: aaaa-nexusVersion: 0.5.1Protocol: 2025-11-25
Recent Probe Results
TimestampStatusLatencyConformance
May 21, 2026success98.5msPass
May 20, 2026success94.1msPass
May 18, 2026success143.7msPass
May 16, 2026success96.5msPass
May 13, 2026success326.5msPass
May 13, 2026success128.2msPass
May 12, 2026success90.8msPass
May 11, 2026success236.7msPass
May 9, 2026success120.8msPass
May 7, 2026success157.3msPass
Source Registries
mcp-registry
First Seen
Apr 7, 2026
Last Seen
May 21, 2026
Last Probed
May 21, 2026