Search / lat.rta/rta
protogridR0· no sign-inProve a hidden value reached a threshold without revealing the value.
v0.1.0 · active · repository · descriptor JSON · versions
{
"mcpServers": {
"rta": {
"type": "http",
"url": "https://rta.lat/mcp"
}
}
}claude mcp add --transport http rta https://rta.lat/mcp[mcp_servers.rta]
url = "https://rta.lat/mcp"
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"rta": {
"type": "remote",
"url": "https://rta.lat/mcp",
"enabled": true
}
}
}{
"mcpServers": {
"rta": {
"type": "http",
"url": "https://rta.lat/mcp"
}
},
"deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=rta&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vcnRhLmxhdC9tY3AifQ%3D%3D"
}{
"servers": {
"rta": {
"type": "http",
"url": "https://rta.lat/mcp"
}
}
}{
"mcpServers": {
"rta": {
"httpUrl": "https://rta.lat/mcp"
}
}
}extensions:
"rta":
enabled: true
name: "rta"
type: streamable_http
uri: "https://rta.lat/mcp"
timeout: 300
protocol.modernnewest supported version is 2025-06-18; 2026-07-28 not supported, older versions are deprecated until 2027-07-28protocol.statelessonly applies to 2026-07-28 serversprotocol.transportstreamable HTTPprotocol.list_ttlonly applies to 2026-07-28 serversauth.prm, auth.as_metadata, auth.cimdno remote uses OAuthauth.secret_in_urlno templated URLtools.descriptionsevery tool has a descriptiontools.description_lengthdescriptions are concisetools.schemasevery tool has an object input schematools.annotations2 of 2 tools declare readOnlyHint or destructiveHinttools.directory_hintsevery tool declares readOnlyHint, destructiveHint, idempotentHint and openWorldHinttools.token_costabout 397 tokens to load every tooltools.api_dumptools are not a one-to-one API dumpstability.changesno tool changes in 30 daysstability.rug_pullno tool changed its meaning under the same namedeps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI packageNo tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.
Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.
+repository +dns-namespace +reachable +uptime-92% +updated-18d-ago
Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.
| remote | auth | reachable | uptime 30d | p50 | protocol | last ok |
|---|---|---|---|---|---|---|
https://rta.lat/mcp streamable-http | none | yes | 92% | 1178 ms | 2025-06-18 | 2026-11-07 |
list_predicatesread-only | 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_proofread-only | 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 is valid, the predicate, and what the proof does NOT disclose. Use when a counterparty must show a threshold was met without revealing the number. A one-time nonce is required so the same proof cannot be replayed. |
Schemas: list_tools.
{
"name": "lat.rta/rta",
"title": "rta — zero-knowledge proof of a threshold",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://rta.lat/mcp",
"type": "streamable-http"
}
],
"version": "0.1.0",
"repository": {
"url": "https://github.com/mrpkk/rta",
"source": "github"
},
"description": "Prove a hidden value reached a threshold without revealing the value."
}