‹ repos
83REPO SCORE
B
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.
★ 5⑂ 0APACHE-2.0push 5d
Score by pillar
Maintenance ·4040/40
License ·2525/25
Adoption ·203/20
Documentation ·1515/15
Why this score — attribution
Adoption · LOW−17
5 stars → low community traction → less peer review/hardening
Repo Score badge
[](https://checkmcp.dev/repo/automators-com-flowproof)Own this server?Get verified — fresh re-audit, badge if you pass ›
About flowproof — FAQ
Is the flowproof MCP repository well-maintained?+
CheckMCP's Repo-Quality Score for automators-com/flowproof is 83/100 (grade B), graded on maintenance, license, adoption and documentation. Last pushed 5 days ago, 5 stars, APACHE-2.0.
What is the Repo-Quality Score of automators-com/flowproof?+
automators-com/flowproof scores 83/100 (grade B) — a vendor-neutral grade of the backing GitHub repository across four pillars: maintenance, license, adoption and documentation.
Where can I find or install the flowproof MCP server?+
The source is at github.com/automators-com/flowproof.
Why did automators-com/flowproof score 83?+
The biggest deduction: 5 stars → low community traction → less peer review/hardening (−17). Every penalty is attributed this way; see the full breakdown on this page.