MCP, MCP server
ProofFlow
ProofFlow, an MCP server listed in the PlugVet directory.
Compatibility: Not stated.
Grade B
Minor issues only, no Medium or High. Worth a quick look at the findings below before installing.
Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.
Rescanned at commit b7cc3c3f2a05, unchanged since the check below.
PERMISSION_DELETE_FILES NETWORK_NO_FIXED_HOST SECRETS_PATH_DOTENV SECRETS_ENV_READ
Why this grade
- PERMISSION_DELETE_FILES Low
Contains a call that can delete files.
backend/proofflow/services/backup_service.py, line 208
shutil.rmtree(staging_dir) - NETWORK_NO_FIXED_HOST Low
Makes a network call whose host is not written as a fixed address.
backend/proofflow/services/review_service.py, line 1128
"curl ", - SECRETS_PATH_DOTENV Low
Mentions a .env file.
backend/proofflow/services/git_service.py, line 37
SENSITIVE_UNTRACKED_EXACT_NAMES = {".env", ".env.local", ".env.production"} - SECRETS_ENV_READ Note
Reads an environment variable whose name contains KEY, SECRET, TOKEN, PASSWORD or CREDENTIAL.
backend/proofflow/config.py, line 25
return os.getenv("PROOFFLOW_API_KEY") or None
Any High, or two or more Medium findings, give D. One Medium gives C. Low findings or a security Note give B. Each code names a finding behind the letter.
Grades are a hygiene check of the source at the commit shown, on the date checked, not a security audit or a guarantee. The free directory grades are automated. Before release, a PlugVet engineer reviews every paid report and any grade we hold back, including all F grades, against the source code and the evidence we quote.
What was checked
Plain notes from the hygiene checks.
Permissions
Concern
can delete files.
PERMISSION_DELETE_FILES
backend/proofflow/services/backup_service.py, line 208
shutil.rmtree(staging_dir)
backend/proofflow/services/git_service.py, line 218
result = subprocess.run(
backend/proofflow/services/review_service.py, line 390
result = subprocess.run(
Show more
scripts/backup_restore_api_smoke.py, line 247
shutil.rmtree(path, onerror=retry_readonly)
scripts/ci_agentguard_review.py, line 140
result = subprocess.run(
scripts/ci_agentguard_review.py, line 174
result = subprocess.run(
scripts/demo_seed.py, line 236
shutil.rmtree(path, onerror=retry_readonly)
scripts/demo_seed.py, line 431
subprocess.run(
scripts/demo_workflow.py, line 213
shutil.rmtree(temp_root, ignore_errors=True)
scripts/generate_real_docs_output.py, line 190
subprocess.run(["git", "init"], cwd=str(repo_dir), capture_output=True)
scripts/generate_real_docs_output.py, line 191
subprocess.run(["git", "config", "user.email", "[email protected]"],
scripts/generate_real_docs_output.py, line 193
subprocess.run(["git", "config", "user.name", "Developer"],
scripts/generate_real_docs_output.py, line 249
shutil.rmtree(tmp, ignore_errors=True)
scripts/ledger_mcp_smoke.py, line 320
shutil.rmtree(temp_root, ignore_errors=True)
scripts/ledger_risk_hints_dogfood_matrix.py, line 505
shutil.rmtree(temp_root, ignore_errors=True)
scripts/ledger_risk_hints_smoke.py, line 322
shutil.rmtree(temp_root, ignore_errors=True)
Install and update
Pass
No install-time script found, and dependencies are pinned or absent.
Network
Concern
can reach a host that is not written as a fixed address.
NETWORK_NO_FIXED_HOST
backend/proofflow/services/review_service.py, line 1128
"curl ",
backend/proofflow/services/review_service.py, line 1129
"wget ",
frontend/src/api/client.ts, line 42
const response = await fetch(`${API_BASE_URL}${path}`, {
Show more
mcp-server/src/proofflow_mcp/client.py, line 47
response = await http.request(method, path, **kwargs)
vscode-proofflow/src/mcp/client.ts, line 104
response = await fetch(url, {
Secrets
Concern
reads a credential or environment file.
SECRETS_ENV_READ SECRETS_PATH_DOTENV
backend/proofflow/config.py, line 25
return os.getenv("PROOFFLOW_API_KEY") or None
backend/proofflow/services/git_service.py, line 37
SENSITIVE_UNTRACKED_EXACT_NAMES = {".env", ".env.local", ".env.production"}
mcp-server/src/proofflow_mcp/client.py, line 30
api_key = os.getenv("PROOFFLOW_API_KEY")
Show more
scripts/generate_real_docs_output.py, line 95
" return jwt.verify(token, process.env.JWT_SECRET!);\n"
scripts/ledger_risk_hints_dogfood_matrix.py, line 207
api_key = os.getenv("PROOFFLOW_API_KEY")
scripts/rc_api_smoke.py, line 121
(repo / ".env").write_text("PROOFFLOW_SECRET=rc-smoke-secret\n", encoding="utf-8")
docs/codex_workflow.md, line 192
- Sensitive files (.env, .pem, .key, .db) automatically excluded
项目总结.txt, line 285
巨大文件进入 SQLite / Proof Packet
项目总结.txt, line 299
- .env
项目总结.txt, line 300
- .env.local
项目总结.txt, line 301
- .env.production
项目总结.txt, line 1671
- 自动过滤敏感文件（.env, .pem, .key）和超大文件（>256KB）
Agent instructions
Pass
No instruction to ignore earlier instructions or to hide a step.
Obfuscation
Pass
No encoded or minified payload found.
Licence
Pass
A licence file is present (LICENSE).
Maintainer activity
Pass
The latest commit is within the last 365 days.
Note
Hygiene check of commit b7cc3c3f2a05. can delete files. can reach a host that is not written as a fixed address. reads a credential or environment file.
Date and source
Date checked:
github.com
Commit graded: b7cc3c3f2a05d185541d3df3610d07001362af96
This link goes to the original host. PlugVet does not host or check what you download from there, and installing it is your own decision and risk.