ajibadedapo/flowproof-mcp
FreeNot checkedRun reproducible bioinformatics pipelines (Nextflow) from an AI assistant, with verifiable Workflow Run RO-Crate provenance (container digests, tool versions, i
About
Run reproducible bioinformatics pipelines (Nextflow) from an AI assistant, with verifiable Workflow Run RO-Crate provenance (container digests, tool versions, input/output checksums). pip install flowproof-mcp
README
Reproducible bioinformatics pipeline execution over the Model Context Protocol (MCP), with verifiable provenance.
FlowProof lets an AI assistant run a bioinformatics pipeline and hand back results whose provenance can be independently verified: pipeline version, container digests, tool versions, parameters, and SHA-256 checksums of every input and output, emitted as a Workflow Run RO-Crate.
It fills the layer the MCP-for-bioinformatics ecosystem is missing. Data access already has MCP servers (BioMCP); analysis planning already has AI agents (Biomni, AutoBA). The gap is reliable, trustworthy execution, which needs orchestration and provenance discipline. That is what FlowProof provides.
Why it exists
An AI that "runs an analysis for you" is only useful if you can trust the result. FlowProof makes every run reproducible and independently checkable, so an AI-driven result is not a black box: it ships with the exact recipe and checksums to reproduce it byte-for-byte.
Status
FlowProof is working and installable today (pip install flowproof-mcp). The pipeline registry, execution backends, and RO-Crate provenance are complete and covered by tests, and the MCP server exposes six tools (list, describe, run, status, results, provenance). It ships with two execution backends: a zero-dependency backend for development and CI, and a Nextflow backend that runs real pipelines.
Install
uv sync
Using FlowProof
FlowProof works two ways. Both let an AI assistant run pipelines for you; you never touch a terminal after setup.
Local (recommended for real data)
Runs on your own machine, so your data never leaves it and your compute runs the pipelines. No token needed.
Add this to your MCP client config (Claude Desktop: claude_desktop_config.json; Cursor: MCP settings):
{
"mcpServers": {
"flowproof": {
"command": "uvx",
"args": ["flowproof-mcp"]
}
}
}
Then just ask your assistant: "list the FlowProof pipelines" or "run the ONT assembly on this file". Runs are written under ~/.flowproof/runs (override with FLOWPROOF_RUNS_DIR).
Cloud (instant, no install)
Connect your client to the hosted server. Nothing to install; the cloud runs it. Uses a bearer token today (per-user keys and OAuth are on the roadmap):
{
"mcpServers": {
"flowproof": {
"url": "https://flowproof.specvista.com/mcp/",
"headers": { "Authorization": "Bearer YOUR_TOKEN" }
}
}
}
Run the server directly
flowproof # stdio (local, default)
FLOWPROOF_TRANSPORT=http flowproof # HTTP server on :8000
Tools
| Tool | Purpose |
|---|---|
list_pipelines |
Registered pipelines with id, description, read type |
describe_pipeline |
Inputs, parameters, outputs for a pipeline |
run_pipeline |
Execute a pipeline reproducibly, returns a run id |
get_run_status |
Status of a run |
get_results |
Output file manifest with checksums |
get_provenance |
The verifiable Workflow Run RO-Crate record |
Pipelines (seed)
| id | Read type | Analysis |
|---|---|---|
ont-read-stats |
long | Oxford Nanopore read statistics (QC); optional Flye assembly. Runs on a built-in sample if you provide no input. |
variant-call-short |
short | Short-read QC to germline variant calling (nf-core/sarek) |
rnaseq |
short | RNA-seq quantification: QC, trimming, alignment, gene counts (nf-core/rnaseq) |
fetchngs |
short | Fetch raw reads and metadata from public archives, SRA/ENA/GEO (nf-core/fetchngs) |
viralrecon |
short | Viral genome reconstruction and variant calling from amplicon data (nf-core/viralrecon) |
New pipelines register by manifest; the server does not change.
Try it instantly: ask your assistant to "run ont-read-stats" with no input, and FlowProof runs the bundled Oxford Nanopore sample end to end and returns a verifiable provenance crate, no data or reference genome required.
Backends
MockBackend: deterministic, dependency-free. Used for development and tests.NextflowBackend: runsnextflow runwith a container profile. Requires Nextflow and Docker.
Provenance
Every run emits ro-crate-metadata.json following the Workflow Run RO-Crate profile, capturing the workflow and version, container images, resolved tool versions, exact parameters, and SHA-256 checksums of all inputs and outputs.
Develop
PYTHONPATH=src uv run --with pytest --no-project python -m pytest tests/ -q
Architecture
See DESIGN.md.
Cite
If you use FlowProof in your research, please cite the archived software release:
Ajibade, H. A. (2026). FlowProof: reproducible bioinformatics pipeline execution over the Model Context Protocol with verifiable provenance (v0.1.2). Zenodo. https://doi.org/10.5281/zenodo.21932977
A machine-readable CITATION.cff is included, so GitHub shows a "Cite this repository" button with BibTeX and APA formats.
@software{flowproof,
author = {Ajibade, Hammed Adedapo},
title = {FlowProof: reproducible bioinformatics pipeline execution over the Model Context Protocol with verifiable provenance},
year = {2026},
version = {0.1.2},
publisher = {Zenodo},
doi = {10.5281/zenodo.21932977},
url = {https://github.com/ajibadedapo/flowproof-mcp}
}
Installing ajibadedapo/flowproof-mcp
This server has no published package — it is built from source. Open the repository and follow its README.
▸ github.com/ajibadedapo/flowproof-mcpFAQ
Is ajibadedapo/flowproof-mcp MCP free?
Yes, ajibadedapo/flowproof-mcp MCP is free — one-click install via Unyly at no cost.
Does ajibadedapo/flowproof-mcp need an API key?
No, ajibadedapo/flowproof-mcp runs without API keys or environment variables.
Is ajibadedapo/flowproof-mcp hosted or self-hosted?
Self-hosted: the server runs locally on your machine via the install command above.
How do I install ajibadedapo/flowproof-mcp in Claude Desktop, Claude Code or Cursor?
Open ajibadedapo/flowproof-mcp on unyly.org, pick your client tab (Claude Desktop, Claude Code, Cursor) and press Install — the config is generated automatically, no JSON editing.
Related MCPs
Fetch
Web content fetching and conversion for efficient LLM usage.
Roblox Studio
Enables AI coding tools to control Roblox Studio for workspace exploration, instance manipulation, and script management. It provides tools for playtesting, sce
by paralovAWS KB Retrieval
Retrieval from AWS Knowledge Base using Bedrock Agent Runtime.
by modelcontextprotocolSpring AI MCP Server
Provides auto-configuration for setting up an MCP server in Spring Boot applications.
llm-analysis-assistant
A very streamlined mcp client that supports calling and monitoring stdio/sse/streamableHttp, and can also view request responses through the /logs page. It also
by xuzexin-hzMCP-Agent
A simple, composable framework to build agents using Model Context Protocol by [LastMile AI](https://www.lastmileai.dev)
by lastmile-aiSpring AI MCP Client
Provides auto-configuration for MCP client functionality in Spring Boot applications.
mcp.natoma.ai
A Hosted MCP Platform to discover, install, manage and deploy MCP servers by [Natoma Labs](https://www.natoma.ai)
MCPHub
Website to list high quality MCP servers and reviews by real users. Also provide online chatbot for popular LLM models with MCP server support.
MCP Servers Rating and User Reviews
Website to rate MCP servers, write authentic user reviews, and [search engine for agent & mcp](http://www.deepnlp.org/search/agent)
Compare ajibadedapo/flowproof-mcp with
Not sure what to pick?
Find your stack in 60 seconds
Author?
Embed badge for your README
Browse similar
All ai MCPs
