flowproof MCP Server
automators-com/flowproof
Agents are starting to run real business processes. flowproof tests them like anything else: record one real run, then replay it on every commit with zero LLM calls, asserting which tools were called, with which arguments, in which order, and which were not.
claude mcp add agentrank -- npx -y agentrank-mcp-server Overview
automators-com/flowproof is a Rust tool licensed under Apache-2.0. Agents are starting to run real business processes. flowproof tests them like anything else: record one real run, then replay it on every commit with zero LLM calls, asserting which tools were called, with which arguments, in which order, and which were not.
Ranked #18491 out of 24840 indexed tools.
Actively maintained with commits in the last week.
Ecosystem
Score Breakdown
5 stars → early stage
Last commit today → actively maintained
0/14 issues closed → many open issues
0 contributors → solo project
No dependents → no downstream usage
Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →
How to Improve
Badge all embed codes →
[](https://agentrank-ai.com/tool/automators-com--flowproof/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) <a href="https://agentrank-ai.com/tool/automators-com--flowproof/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/automators-com--flowproof" alt="AgentRank"></a> Matched Queries
Get the weekly AgentRank digest
Top movers, new tools, ecosystem insights — straight to your inbox.