Install Flowproof in Claude Code
This server doesn't publish a package to a registry, so follow the install steps in its README. Once it runs, register it with Claude Code:
claude mcp add flowproof -- <command to start the server>Frequently asked questions
What does the Flowproof MCP server do?
Run reproducible Nextflow bioinformatics pipelines with verifiable Workflow Run RO-Crate provenance: container digests, tool versions and checksums.
Is the Flowproof MCP server free?
The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.
Does Flowproof run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add Flowproof to Claude Code?
Follow the install steps in the project's README at https://github.com/ajibadedapo/flowproof-mcp, then register it with "claude mcp add".
More science & research MCP servers
View allOnekgpd
dnaerys/onekgpd-mcp
Real-time access to the 1000 Genomes Project dataset.
Garmin Connect
DynamicsNinja/garminconnect-js
Garmin Connect data in your assistant: sleep, HRV, training readiness, activities, workouts, weight and more across 193 tools. Use the free hosted connector (https://garmin.ficdev.xyz/claude) or run it locally via npm or the Claude Desktop extension.
Pubmed Search
pubspro/pubmed-search
Search PubMed and summarize biomedical literature.
AI Workstation Open Source Intelligence
zxhwolfe-dev/aiworkstation-open-source-intelligence
Research open-source AI projects: search a live radar, compare and shortlist projects, and plan stacks, keeping facts, recommendations and risks separate.
Orbit Sentinel
viventine-space/orbit-sentinel-mcp
Search FCC, ITU, UNOOSA and FAA space regulatory filings via Orbit Sentinel: semantic search, entity dossiers, spectrum holdings, launch licenses and alerts.
UniProt
smaniches/uniprot-mcp
Query the UniProt knowledgebase (entries, features, variants, PTMs, GO terms, cross-references) with per-query SHA-256 provenance and offline replay.