MCP.so
Sign In
Servers

TinyZKP

@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.

Tools

No tools detected

We auto-extract tools from the README. The maintainer can list them under a ## Tools heading to populate this tab.

More from Memory & Knowledge