SERVER

FlowProof

Rank #19,551

glama/ajibadedapo/flowproof-mcp

Enables AI assistants to run reproducible bioinformatics pipelines over MCP, with verifiable provenance via checksums and Workflow Run RO-Crate metadata.

First listed
Aug 9, 2026
Last publish date
Aug 14, 2026
OVERVIEW

FlowProof is a Model Context Protocol (MCP) server published by ajibadedapo. It ranks #19,551 of 132,046 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. FlowProof is listed on Glama, with 3 release tags tracked from its GitHub repository. It was first listed on Aug 9, 2026 and most recently updated on Aug 14, 2026.

STANDING
#19,551of 132,046 tracked serversTop 25%

Ranks ahead of 112,495 of 132,046 servers on MCP Toplist.

CONNECT

Use FlowProof

No setupRuns out of the box

No credentials or required configuration declared — add it to your MCP client and go.

This server doesn't publish a machine-readable install config — see the repository README for install instructions.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

MCP Toplist: Top 25% of 132,046
Markdown
[![MCP Toplist](https://mcptoplist.com/badge/glama%2Fajibadedapo%2Fflowproof-mcp.svg)](https://mcptoplist.com/server/glama%2Fajibadedapo%2Fflowproof-mcp)
HTML
<a href="https://mcptoplist.com/server/glama%2Fajibadedapo%2Fflowproof-mcp"><img src="https://mcptoplist.com/badge/glama%2Fajibadedapo%2Fflowproof-mcp.svg" alt="MCP Toplist: Top 25% of 132,046" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry

ORGANIZATION

ajibadedapo

Organization
Servers in org
1
Versions across org
3
VERSIONS

GitHub releases (3)

No registry surfaces explicit version metadata for this server. The list below shows release tags from the linked GitHub repository.

v0.1.0 · Aug 10, 2026v0.1.1 · Aug 14, 2026v0.1.2 · Aug 14, 2026Aug 10, 2026Aug 14, 2026
VersionPublished
v0.1.2Aug 14, 2026
v0.1.1Aug 14, 2026
v0.1.0Aug 10, 2026
FAQ

Frequently asked questions

Who maintains FlowProof?
FlowProof is maintained by ajibadedapo, which publishes 1 MCP server (3 total versions) tracked on MCP Toplist.
Is FlowProof listed on the Official MCP Registry?
FlowProof is not on the Official MCP Registry. It is listed on Glama.
How many versions does FlowProof have?
No registry surfaces explicit version metadata for FlowProof; MCP Toplist tracks 3 release tags from its GitHub repository, most recently published on Aug 14, 2026.
Where can I find the source code for FlowProof?
The source code for FlowProof is hosted at github.com/ajibadedapo/flowproof-mcp.
Used in projects

Do you run this server?

Add to a project

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE