{"mcpVersion":"1.0.0","name":"betaprecision-agent-mcp","description":"Model Context Protocol tools manifest for BetaPrecision Zero-Trust Mathematical Substrate","endpoint":"https://betaprecision.com/agent/api","auth":{"type":"BEARER_TOKEN","token_url":"https://betaprecision.com/agent/trial-token"},"tools":[{"name":"generate_equivalence","description":"Generate Equivalence Service: Ingests LaTeX equation/document, generates 10 alternative mathematical schools, and certifies the top equivalent.","inputSchema":{"type":"object","properties":{"latex_document":{"type":"string","description":"LaTeX document, \\begin{cases} pair, or formula."}},"required":["latex_document"]}},{"name":"zero_trust_latex_equivalence_proof","description":"Evaluates a candidate pair of differential systems for Lie algebra conjugacy and returns a cryptographic zero-trust certificate.","inputSchema":{"type":"object","properties":{"latex_document":{"type":"string"}},"required":["latex_document"]}},{"name":"verify_proof_certificate","description":"Verifies a SHA-256 certificate signature against the persistent theorem registry. Free and unlimited via GET and POST.","inputSchema":{"type":"object","properties":{"certificate_sha256":{"type":"string"}},"required":["certificate_sha256"]}}]}