Is the flowproof MCP server actively maintained?

The flowproof MCP server was last committed 29d ago and has 0 contributors. Issue health: 0% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

flowproof MCP Server

Name: automators-com/flowproof
Rating: 2.9 (1 reviews)
Author: automators-com

automators-com/flowproof

Score: 48.3 Rank #21920 MCP Server

[![AgentRank](https://agentrank-ai.com/api/v1/badge/automators-com--flowproof)](https://agentrank-ai.com/tool/automators-com--flowproof/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

Are you the maintainer of automators-com/flowproof? Claim this listing →

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.

Add AgentRank to Claude Code Discover and compare tools like automators-com/flowproof — your AI finds the right one automatically

Get API Access →

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 #21920 out of 24846 indexed tools.

Ecosystem

Rust Apache-2.0

Score Breakdown

Stars 15% 5

5 stars → early stage

Freshness 25% 29d ago

Last commit 29d ago → recently updated

Issue Health 25% 0%

0/37 issues closed → many open issues

Contributors 10% 0

0 contributors → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 1

Description Detailed

License Apache-2.0

Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →

How to Improve

Issue Health high impact

You have 37 open vs 0 closed issues — triaging stale issues improves health

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Dependents medium impact

No downstream dependents detected yet — adoption by other projects is the strongest trust signal

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/v1/badge/automators-com--flowproof)](https://agentrank-ai.com/tool/automators-com--flowproof/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<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/v1/badge/automators-com--flowproof" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="automators-com/flowproof"></script>

Details

Stars: 5
Forks: 1
Open Issues: 37
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Rust
License: Apache-2.0
Last Commit: 29d ago

Matched Queries

topic:mcp-server

See alternatives to automators-com/flowproof → Browse mcp-server category → Best MCP Server MCP servers → Compare automators-com/flowproof → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →