MCP servers by disys-lab

disys-lab publishes 1 live MCP servers on GitHub. Listed by trust score, computed from each repository's own observable signals.

live servers

avg trust

most stars

Skeptical MCP For ZkSNARKs

disys-lab

LLM agent that runs zero-knowledge proofs in plain English, with skeptical MCP tools that check, fill in or override the model's tool arguments. +23 points task completion across…

★ 1updated 15 days ago