Skills/PyPI/flowproof-mcp

flowproof-mcp@0.1.0

VERIFIED

Publisher claims: "Run reproducible bioinformatics pipelines from an AI assistant over MCP, with verifiable provenance" Observed in sandbox: no network, touches nothing outside the project, writes no memory.

Registry PyPI (MCP server)Publisher dormdeveloper · joined 3 days agoInstalls 40Last detonated 3d ago
$claude mcp add flowproof-mcp -- uvx flowproof-mcp
WatchReport an issue

Is [email protected] safe to install?

KillerSkills ran it in the KillerSkills honeypot sandbox (2 scenarios) on 2026-10-31 and scored it 86/100 (Verified). It did what it claims and nothing else we could detect: no undeclared network egress, no credential reads, no persistent instruction writes. Summary: no network, touches nothing outside the project, writes no memory.

Behavior trace

Honeypot run · 0 s · 2 scenarios · 0 deviations
t+CategoryObserved action
0.0sprocessno install scripts in bundle
0.2sprocessdependency install exit 1
0.2sprocessexec /usr/bin/timeout
0.2sprocessexec .venv/bin/flowproof-mcp
0.2sprocessexited 127: timeout: failed to run command '.venv/bin/flowproof-mcp': No such file or directory
0.2sclaimedno tools/list reply (exit 127)
0.3sprocessscript backend runs setup only

Static findings

MEDIUM
Python subprocess execution detectedsrc/flowproof/runner.py:140 · Python subprocess execution detectedFix: Build commands from fixed arguments, never from interpolated strings; prefer an API client over shelling out.
AST05
MEDIUM
Python subprocess execution detectedsrc/flowproof/runner.py:162 · Python subprocess execution detectedFix: Build commands from fixed arguments, never from interpolated strings; prefer an API client over shelling out.
AST05