ProofFlow-v0.1

About ProofFlow-v0.1

ProofFlow-v0.1 is a mcp server by Hyperion-GPU.

agent-safety ai-agents audit code-review codex developer-tools mcp

Quick Facts

Stars	110
Forks	8
Language	Python
Category	MCP Server
License	MIT
Quality Score	32/100
Open Issues	3
Last Updated	2026-05-20
Created	2026-04-26
Platforms	codex, mcp, python
Est. Tokens	~90k

Compatible Skills

These tools work well together with ProofFlow-v0.1 for enhanced workflows:

XSafeClaw — semantic(0.29)+complementary+rare_topics+same_lang+similar_pop+shared_platform (60%)
anywhere-agents — semantic(0.26)+complementary+same_lang+similar_pop+shared_platform (59%)

More MCP Server Tools

Explore other popular mcp server tools:

n8n ⭐ 189.3k
ECC ⭐ 187.4k
everything-claude-code ⭐ 186.6k
dify ⭐ 142.3k
open-webui ⭐ 138.2k
gemini-cli ⭐ 104.5k
awesome-mcp-servers ⭐ 86.1k
servers ⭐ 86.1k
ragflow ⭐ 79.0k
lobehub ⭐ 77.5k

View all MCP Server tools →

Popular Python Agent Tools

AutoGPT ⭐ 184.5k · Agent Tool
hermes-agent ⭐ 162.8k · Codex Skill
langflow ⭐ 148.7k · Agent Tool
open-webui ⭐ 138.2k · MCP Server
skills ⭐ 137.5k · Claude Skill

Frequently Asked Questions

What is ProofFlow-v0.1?

ProofFlow-v0.1 is an open-source mcp server by Hyperion-GPU with 110 GitHub stars.

What programming language is ProofFlow-v0.1 written in?

ProofFlow-v0.1 is primarily written in Python. It covers topics such as agent-safety, ai-agents, audit.

How do I install or use ProofFlow-v0.1?

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 110 stars and 8 forks, indicating an active community.

What license does ProofFlow-v0.1 use?

ProofFlow-v0.1 is released under the MIT license, making it free to use and modify according to the license terms.

View on GitHub → Browse MCP Server tools