@logannye
基本信息
A height-compressed, sublinear-space STARK prover. Designed to make very long zero-knowledge proofs practical on fixed-memory hardware (CPUs, GPUs, & edge devices). Post-quantum. Built in Rust.
使用下面的配置,将此服务器添加到你的 MCP 客户端。
{
"mcpServers": {
"tinyzkp": {
"type": "http",
"url": "https://mcp.tinyzkp.com"
}
}
}工具列表暂未提供
当前收录暂时没有可展示的工具列表，不代表服务没有工具。请查阅项目文档了解支持的能力。
点击上方按钮,直接连接服务器端点实时获取工具列表。
TinyZKP mints a tamper-evident zero-knowledge proof that a state-transition chain is consistent — start at X, apply these steps, provably reach Y — so an agent or API caller can hand over a verifiable receipt instead of requiring trust. It provides transparent, post-quantum STARK-style proofs with an O(√T) prover-memory architecture, no trusted setup, and verification in milliseconds. It serves developers, AI agents, and API users who need verifiable state-transition receipts.
Install the MCP server for AI agents (Claude, GPT, Cursor) via claude mcp add --transport http tinyzkp https://mcp.tinyzp.com, then call its proof tools as native function calls. Alternatively, use the terminal CLI via npx @tinyzp/cli or the plain HTTP API at https://api.tinyzzp.com with an API key from tinyzzp.com/signup. Verification is always free and works in the browser via the WASM package @tinyzzp/verify.
TinyZKP proves state-transition chain consistency with a transparent (no trusted setup) STARK that uses an O(√T) prover-memory architecture, unlike standard STARKs which require O(T) memory. This makes long traces practical without reserving high-RAM servers.
The CLI requires Node 18+ ESM. The Python SDK works with Python 3 and `pip install tinyzkp`. The TypeScript SDK ships a dual ESM+CJS build for Node 18+, bundlers, and edge runtimes. The WASM verifier works in any modern browser.
Proving jobs are submitted to the hosted API at api.tinyzp.com; job and proof data reside on TinyZKP's servers during the lifecycle. Verification can be done client-side via the WASM verifier without sending proof data to any server.
The MCP endpoint supports HTTP transport and is publicly rate-limited (no API key required). The full HTTP API uses HTTPS with bearer token authentication (API key `tzk_...`). The WASM verifier and CLI can verify proofs locally with no network call.
Free tier: 100 proofs per month, 1 in‑flight job, 10 RPM, $5/mo cap. Developer plan: 4 in‑flight, 100 RPM, $500/mo cap. Proofs under 10K trace steps cost $0.05/proof; longer traces cost more per step. Verification is always free and unlimited.
MCP connector for Snipara, the Project Brain for AI coding agents
Islamic source data for assistants: Quran, hadith, tafsir, duas, prayer times and qibla. Answers come from real sources with citations instead of recalled text, so verses and hadith are not hallucinated. 36,000+ hadiths
Shared memory for AI coding agents. Claude Code, Cursor and Codex read your project's decisions, lessons and tasks before they act.
Scento Perfume API is a free fragrance API and perfume notes database for developers and AI agents. Search 1,500+ perfumes and 400+ ingredients, compare scents, find similar perfumes, map scent families and build occasio
Serve your docs to AI agents over SSH and MCP. Agents use ls, cat, grep, find, and pipes against a virtual filesystem backed by your documentation. Identity-scoped access, governed writing with human approval, and portab
评论