# FlowProof

> FlowProof — ajibadedapo-flowproof-mcp. Use this tool when you need to run reproducible bioinformatics pipelines with verifiable provenance, solving problems of data integrity and workflow transparency. It takes in bioinformatics workflows and outputs reproducible results with checksums and Workflow Run RO-Crate metadata. Ideal for applications requiring reliable and auditable data analysis, such as scientific research and data-driven decision making.

Canonical page: https://skillsregistry.net/skills/ajibadedapo-flowproof-mcp  
JSON: https://api.skillsregistry.net/v1/skills/ajibadedapo-flowproof-mcp

## Description

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

## Trust

- **Trust score (0–1):** 0.68
- **Verification tier:** scanned
- **Last scanned:** 2026-08-29

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** devops-ci
- **Updated:** 2026-08-29

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/ovw3020c8j)
- **Repository:** <https://github.com/ajibadedapo/flowproof-mcp>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "ajibadedapo-flowproof-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/ajibadedapo-flowproof-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/ajibadedapo-flowproof-mcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt