1. Conduid
  2. Agents
  3. Skeptical MCP For ZkSNARKs
MCP server · Agents

Skeptical MCP For ZkSNARKs

by · github.com/disys-lab/Skeptical-MCP-For-zkSNARKs

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 3 model families. Code, data, paper.

Unclaimed ai-agentslanggraphllm-agentsllm-evaluationllm-guardrailsmcpmodel-context-protocoltool-callingzero-knowledge-proofszksnark
InstallView source
25Low

Scored 8 hours ago · breakdown

About Skeptical MCP For ZkSNARKs

Skeptical MCP For ZkSNARKs is an MCP server published by disys-lab in the Agents category: 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 3 model families. Code, data, paper.

The repository has 1 stars and 0 forks, with the last commit 15 days ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/disys-lab/Skeptical-MCP-For-zkSNARKs

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Skeptical MCP For ZkSNARKs

Powered by Claude

Ask about Skeptical MCP For ZkSNARKs — answers draw on its README.

Security checks

6 checks have not been run yet.

Questions

About Skeptical MCP For ZkSNARKs

How do I install Skeptical MCP For ZkSNARKs?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Skeptical MCP For ZkSNARKs safe to use with an AI agent?

Its trust score is 25 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Skeptical MCP For ZkSNARKs still maintained?

Yes — the last commit was 15 days ago. The repository has 1 stars and 0 forks.