Server data from the Official MCP Registry
Verify or mint zero-knowledge track-record credentials (VTR-1) without revealing the strategy.
About
Verify or mint zero-knowledge track-record credentials (VTR-1) without revealing the strategy.
Remote endpoints: streamable-http: https://studio.mizan.market/mcp
Security Report
Valid MCP server (1 strong, 3 medium validity signals). No known CVEs in dependencies. Imported from the Official MCP Registry.
6 tools verified · Open access · No issues found
Security scores are indicators to help you make informed decisions, not guarantees. Always review permissions before connecting any MCP server.
Permissions Found in Source Code
Found by scanning the linked source code. This listing connects to a hosted endpoint, so none of this runs on your machine: it describes what the server software does where it is hosted.
How to Connect
Remote Plugin
No local installation needed. Your AI client connects to the remote endpoint directly.
Add this to your MCP configuration to connect:
{
"mcpServers": {
"io-github-muaviamohammed-mizan": {
"url": "https://studio.mizan.market/mcp"
}
}
}Documentation
View on GitHubFrom the project's GitHub README.
mizan-mcp — verify any AI trading agent's track record (zero-knowledge proof of performance)
mcp-name: io.github.muaviamohammed/mizan
Use it before you allocate to, copy, or pay any trading bot or AI agent that claims returns.
An MCP server that lets any agent verify a trading or AI-agent track-record credential, or mint one for its own record, without ever revealing the strategy.
MIZAN credentials are zero-knowledge (STARK) proofs under the open VTR-1 standard: the record is recomputed inside the proof with the trial count, cost schedule and out-of-sample split bound in-circuit. Anyone verifies a credential offline in ~81 ms. FAIL verdicts are published alongside passes.
Prove the edge. Never reveal the strategy.
Remote (no install)
https://studio.mizan.market/mcp # streamable HTTP, stateless
Claude Code: claude mcp add --transport http mizan https://studio.mizan.market/mcp
Local (stdio)
pip install "mcp>=2"
python3 mizan_mcp_server.py
# Claude Code: claude mcp add mizan -- python3 /path/to/mizan_mcp_server.py
Tools
| Tool | What it does |
|---|---|
check_agent(agent) | Start here. Is this agent proven? Look up by name, wallet, ERC-8004 id, agent-card URL, credential id or sha256. PROVEN, REFUSED, NOT SIGNIFICANT or UNVERIFIED; unverified answers carry a message to forward to the counterparty. |
list_proven_agents(limit) | PASS credentials, Bitcoin-confirmed first; issuer shown per row. |
verify_credential(credential_id | sha256) | Registry lookup, proof-bundle download, sha256 check against the registry anchor, optional offline STARK re-verification. Returns PASS, FAIL or NOT SIGNIFICANT exactly as issued. |
list_datasets() | Canonical public markets a credential can be minted on. |
preview_credential(dataset, positions, model_id) | Free, private, no-account gate test of your own bot or agent. Nothing is published. |
mint_credential(dataset, positions, model_id, email, password, …) | Sealed path: sends one position per bar-move only. Preview free; real STARK minted on an H100. |
Rules the server enforces
- Never send a strategy, model, weights, code or prompt anywhere. Positions only.
- Never claim a PASS without a bundle whose hash matches the registry.
- A FAIL is a result, not a secret. A credential is a backtest seal, not a forecast.
- HFT and fill-dependent strategies are refused, permanently.
Also available as
- AgentKit action provider (
mizan):verify_credential+list_datasets— PR to coinbase/agentkit. - A2A agent:
https://studio.mizan.market/a2a(JSON-RPCmessage/send→ "verify "); card athttps://mizan.market/.well-known/agent-card.json. - ERC-8004 validator on Base: registration file at
https://mizan.market/.well-known/agent-registration.json.
Links
Skill for agents (SKILL.md, tool schemas, A2A card): https://mizan.market/skill/ · Public wall: https://mizan.market/registry/ · Verify by hand: https://mizan.market/verify/ · ERC-8004: https://mizan.market/.well-known/agent-registration.json · Contact: muavia@mizan.market
MIT. © 2026 Mizan Verification, Inc.
Keywords
AI trading agent verification · backtest overfitting · deflated Sharpe ratio · proof of performance · verifiable track record · zero-knowledge proof · zkVM · RISC Zero · STARK · ERC-8004 · A2A · x402 · Hyperliquid vault due diligence · trading bot audit
Reviews
No reviews yet
Be the first to review this server!
More Developer Tools MCP Servers
Fetch
Freeby Modelcontextprotocol · Developer Tools
Web content fetching and conversion for efficient LLM usage
Git
Freeby Modelcontextprotocol · Developer Tools
Read, search, and manipulate Git repositories programmatically
Toleno
Freeby Toleno · Developer Tools
Toleno Network MCP Server — Manage your Toleno mining account with Claude AI using natural language.
MCP Marketplace
Freeby mcp-marketplace · Developer Tools
Search and install MCP servers from inside your AI client.
mcp-creator-python
Freeby mcp-marketplace · Developer Tools
Create, build, and publish Python MCP servers to PyPI — conversationally.
FinAgent
Freeby mcp-marketplace · Finance
Free stock data and market news for any MCP-compatible AI assistant.
