Premium agentic endpoint for coq-proof-assistant-mcp.
Maintain this server? Claim it
Call this server's tools from your browser. Nothing to install.
Base64-encoded EIP-3009 TransferWithAuthorization signature for x402 V2 settlement on Base Mainnet ($0.5 USDC).
Requests go through mcptry because browsers can't call most MCP servers directly. Header values are sent to the server for that request only and are never stored or logged.
We haven't seen a tool list from this server yet.