Summary
Formally verified safety infrastructure for autonomous agents. Exposes 75+ endpoints covering cryptographic randomness (VeriRand), hallucination detection with certified probability bounds, session credential rotation that addresses CVE-2025-6514 (RatchetGate), UCAN delegation chains with proven depth limits, and A2A economy primitives like escrow and reputation. Pay per call via x402 USDC micropayments starting at $0.008, no signup required. Ships with 872 verified theorems in the proof chain. Reach for this when you're building agent-to-agent pipelines that handle money, sign contracts, or make decisions without human oversight and need mathematical guarantees instead of benchmark scores.
Keep your Mac awake while Claude Code and 40+ AI agents run. Sleeps when they're idle.
One time payment $9 →
Integrate web data into your AI product. One API to scrape website & brand data.
Get API Key Now →
Agent, run crypto. Access onchain data & trade routes via 1inch.
Install now →
On Capafy, your Skill runs online 24/7 as an agent product, and you get paid every time someone uses it.
Start earning →
Tools
Public tool metadata for what this MCP can expose to an agent.
9 tools
healthReturn worker health and runtime constants.
Return worker health and runtime constants.
No parameter schema in public metadata yet.
metricsReturn platform metrics and endpoint registry.
Return platform metrics and endpoint registry.
No parameter schema in public metadata yet.
oracle_entropyReturn entropy epoch and nonce seed.
Return entropy epoch and nonce seed.
No parameter schema in public metadata yet.
oracle_hallucinationReturn hallucination epsilon threshold.
Return hallucination epsilon threshold.
No parameter schema in public metadata yet.
ratchetgate_sessionRegister 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.2 params
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.
Parameters* required
agent_idstringUnique identifier for the calling agent
public_keystringAgent's public key for session binding
inferenceRun Llama 3.1 8B inference with anti-hallucination guard and error correction. Returns answer with HELIX metadata. $0.015/call.3 params
Run Llama 3.1 8B inference with anti-hallucination guard and error correction. Returns answer with HELIX metadata. $0.015/call.
Parameters* required
promptstringThe prompt to send to the model
systemstringOptional system prompt
max_tokensintegerMax tokens to generatedefault: 1024
inference_streamStreaming CoT inference with Server-Sent Events (SSE). Events: cot/cot_end/ans/done. $0.025/call.3 params
Streaming CoT inference with Server-Sent Events (SSE). Events: cot/cot_end/ans/done. $0.025/call.
Parameters* required
promptstringThe prompt to send to the model
systemstringOptional system prompt
max_tokensintegerMax tokens to generatedefault: 1024
ratchetgate_registerRegister a session with RatchetGate post-quantum re-keying (CVE-2025-6514 mitigation). Returns session_id and next_probe_at. $0.005/call.2 params
Register a session with RatchetGate post-quantum re-keying (CVE-2025-6514 mitigation). Returns session_id and next_probe_at. $0.005/call.
Parameters* required
agent_idstringUnique identifier for the calling agent
public_keystringAgent's public key for session binding
ratchetgate_advanceAdvance RatchetGate epoch, re-key session at RG_LOOP=47 boundary. Returns new epoch and key material. $0.005/call.2 params
Advance RatchetGate epoch, re-key session at RG_LOOP=47 boundary. Returns new epoch and key material. $0.005/call.
Parameters* required
epochintegerCurrent epoch counter
session_idstringSession ID from ratchetgate_register
Featured
Keep your Mac awake while Claude Code and 40+ AI agents run. Sleeps when they're idle.
One time payment $9 →Integrate web data into your AI product. One API to scrape website & brand data.
Get API Key Now →Agent, run crypto. Access onchain data & trade routes via 1inch.
Install now →On Capafy, your Skill runs online 24/7 as an agent product, and you get paid every time someone uses it.
Start earning →