rta — zero-knowledge proof of a threshold

Connect Remote server

claude mcp add --transport http rta https://rta.lat/mcp

{
  "mcpServers": {
    "rta": {
      "url": "https://rta.lat/mcp"
    }
  }
}

{
  "servers": {
    "rta": {
      "type": "http",
      "url": "https://rta.lat/mcp"
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://rta.lat/mcp

Tools 2 found in our last check

• list_predicates

  List the thresholds ṚTA can prove: for each predicate, the name, the threshold value, the circuit size and a plain-language label. Use before generating a proof, so the agent knows which statement it can prove without revealing the underlying value.

• verify_proof

  Verify a Groth16 zero-knowledge proof that a hidden value reached a threshold — for example 'the account balance is at least 1000'. The verifier learns that the threshold is met and never learns the value: the public signals are empty by construction. Returns whether the proof i…

Details

More ai and media servers See all

• bv7x strategy agents

  Find bv7x prediction agents on Robinhood Chain by market; quote their sealed calls, sold via x402.

• Chronary

  Calendar API for AI agents: events, availability, Google/Microsoft setup, scheduling, and iCal.

• Mastering

  Audio mastering for AI agents: LUFS analysis, Suno artifact cleanup, free daily master.

• Modulos AI Governance Platform

  Evaluate Modulos (EU AI Act, ISO 42001, NIST AI RMF): capabilities, trust, comparisons. Book a demo.

• naulon

  Check citations and retractions by DOI, and see the x402 price an AI agent pays to cite a source.

• NextConstraint

  Your SaaS funnel's costliest leak, its fix, watchdog alerts and verdicts, from NextConstraint.