Hc Stark
Developer ToolsA 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.
Installation
git clone https://github.com/logannye/hc-stark && cd hc-stark
pip install -e .💡 Tip: Make sure you have the appropriate package manager installed. Refer to the official documentation for detailed installation instructions.
Compatibility Matrix
Cursor
Claude Desktop
MCP Compatible
Server Information
Quick Stats
Related Servers
Time
Time is an open-source MCP server that gives AI assistants access to specialized functionality. Compatible with Claude Desktop, Cursor, and other MCP clients for enhanced AI agent workflows.
Sequentialthinking
Sequentialthinking MCP server enables seamless integration between AI agents and external services. Built on the Model Context Protocol, it provides standardized access to tools and data for AI-powered workflows.
Gitlab
Gitlab MCP server provides AI agents with powerful tools and integrations for automation workflows. Connect your AI assistant to Gitlab capabilities through the Model Context Protocol standard.
Sentry
Sentry MCP server provides AI agents with powerful tools and integrations for automation workflows. Connect your AI assistant to Sentry capabilities through the Model Context Protocol standard.
Like this server?
Discover more MCP servers or submit your own to directory.