trackmcp
Back to directory
logannye

hc-stark

View on GitHub

Pre-release MIT resource-bounded Plonky3 0.6.1 prover with SSD-backed execution and deterministic resume for Linux x86-64.

0 stars PythonOthers Updated Aug 18, 2026
plonky3ruststarkresource-boundedresumable-proving

No README could be loaded. View the project on GitHub for full documentation.

Frequently asked questions

What is hc-stark?

hc-stark is Pre-release MIT resource-bounded Plonky3 0.6.1 prover with SSD-backed execution and deterministic resume for Linux x86-64.

How do I install hc-stark?

Open the GitHub repository and follow its README. Most MCP servers are added to your client's MCP config, then called by your agent.

Is hc-stark open source?

Yes — it is hosted on GitHub at https://github.com/logannye/hc-stark.

Related MCP tools

cocoindex-iococoindex-code

A super light-weight embedded code search engine CLI (AST based) that just works - improves speed and efficiency for coding agent 🌟 Star if you like it!

2,692 Python
agentsastclaude-code+13
topoteretescognee

Cognee is the open-source AI memory platform for agents. Give your AI agents persistent long-term memory across sessions with a self-hosted knowledge graph engine.

30,433 Python
agent-memoryagent-skillsai+16
Skyvern-AIskyvern

Automate browser based workflows with AI

22,930 Python
apiautomationbrowser+13
vectorize-iohindsight

Hindsight: Agent Memory That Learns

22,468 Python
agentic-aimemoryagents+1
guillaumemeyerwatermarks-remover

A privacy-first app that strips AI watermarks from content you own.

20,504 Python
agent-skillaic2pa+12
QwenLMQwen-Agent

Agent framework and applications built upon Qwen>=3.0, featuring Function Calling, MCP, Code Interpreter, RAG, Chrome extension, etc.

17,062 Python

Run your own MCP server? See who uses it and what to fix.

Measure it with TrackMCP