by Hyperion-GPU · MCP Server · ★ 103
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
ProofFlow-v0.1 is a mcp server by Hyperion-GPU.
| Stars | 103 |
| Forks | 7 |
| Language | Python |
| Category | MCP Server |
| License | MIT |
| Quality Score | 32/100 |
| Open Issues | 8 |
| Last Updated | 2026-05-10 |
| Created | 2026-04-26 |
| Platforms | codex, mcp, python |
| Est. Tokens | ~51k |
These tools work well together with ProofFlow-v0.1 for enhanced workflows:
Looking for a ProofFlow-v0.1 alternative? If you're comparing ProofFlow-v0.1 with other mcp server tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.
Plugin suite + bundled MCP servers for Claude Code. Full delivery lifecycle: Agile pipeline with multi-model A
Orchestrate AI coding agents. Any prompt. Any agent. Any IDE. Neutral orchestration layer for Claude Code, Cod
Architect-centric agentic swarm plugin for OpenCode. Hub-and-spoke orchestration with SME consultation, code g
Minimal AI coding agent team skills for the full engineering workflow.
Entity-level code review for Git. Graph-based risk scoring, change classification, commit untangling. 95% reca
An LLM council that reviews your coding agent's every move
Explore other popular mcp server tools:
ProofFlow-v0.1 is an open-source mcp server by Hyperion-GPU with 103 GitHub stars.
ProofFlow-v0.1 is primarily written in Python. It covers topics such as agent-safety, ai-agents, audit.
You can find installation instructions and usage details in the ProofFlow-v0.1 GitHub repository at github.com/Hyperion-GPU/ProofFlow-v0.1. The project has 103 stars and 7 forks, indicating an active community.
ProofFlow-v0.1 is released under the MIT license, making it free to use and modify according to the license terms.
The top alternatives to ProofFlow-v0.1 on Agent Skills Hub include claude-code-skills, mco, opencode-swarm. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.