MCP, MCP server
io.github.Hafeok/product-cli
A CLI and MCP server for the Product Framework — specify software as a verifiable What/How graph.
Compatibility: Not stated.
Grade C
One Medium finding. Read the findings before installing.
Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.
Rescanned at commit 70395dfe317c, unchanged since the check below.
INSTALL_REMOTE_SCRIPT
Why this grade
- INSTALL_REMOTE_SCRIPT Medium
Fetches a script from the network and runs it (a pipe to a shell, or an install hook with a URL).
.github/workflows/release.yml, line 67
run: "curl --proto '=https' --tlsv1.2 -LsSf https://github.com/axodotdev/cargo-dist/releases/download/v0.31.0/cargo-dist-installer.sh | sh"
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.
If you think this grade is wrong, email [email protected] with the entry link and your evidence. We aim to acknowledge within two working days and decide within seven. If we confirm an error, we aim to correct it within 24 hours of confirming it. These are aims, not guarantees.
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
Note
requests shell access. The manifest names this permission.
PERMISSION_SHELL_DECLARED
ledger/sessions/2026-10-namespace-design.md, line 1225
out = subprocess.run(["ssh-keygen", "-q", "-Y", "sign", "-f", key, "-n", f"ledger-accept@{ns}"], input=data, capture_output=True)
Install and update
Serious
install fetches a script from the network.
INSTALL_REMOTE_SCRIPT
.github/workflows/release.yml, line 67
run: "curl --proto '=https' --tlsv1.2 -LsSf https://github.com/axodotdev/cargo-dist/releases/download/v0.31.0/cargo-dist-installer.sh | sh"
.github/workflows/release.yml, line 127
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
Network
Concern
can reach a host that is not written as a fixed address.
NETWORK_NO_FIXED_HOST
ledger-cli/src/commands/inbox_accept.rs, line 7
//! each branch in turn: fetch (an item is re-read before it is signed),
ledger-cli/src/commands/inbox_accept.rs, line 165
git::fetch(repo).map_err(unsigned)?;
ledger-cli/src/commands/inbox_accept.rs, line 218
match git::fetch(repo).and_then(|_| git::commit_of(&repo.path, rev)).ok().filter(|tip| tip != signed_on) {
Show more
ledger-core/src/inbox/git.rs, line 137
pub fn fetch(repo: &Repository) -> Result<(), String> {
product-mcp/src/assets/ui/app.jsx, line 650
return fetch('/api/pf' + (location.search || ''))
product-mcp/src/assets/view.html, line 674
try{const r=await fetch('/api/graph'+SQ);if(!r.ok)throw new Error(await r.text());ST.graph=await r.json();}
product-mcp/src/assets/view.html, line 682
let s0;try{const r=await fetch('/api/session'+SQ);s0=await r.json();}catch(e){return;}
Secrets
Concern
reads a credential or environment file.
SECRETS_PATH_DOTENV
dagger/.gitignore, line 6
/.env
product-core/src/registry/apply.rs, line 178
.env("GIT_CONFIG_NOSYSTEM", "1")
product-core/src/registry/apply.rs, line 179
.env("GIT_CONFIG_GLOBAL", NO_GLOBAL_CONFIG);
Agent instructions
Pass
No instruction to ignore earlier instructions or to hide a step.
Obfuscation
Note
a file was over the read cap and was not fully read. the file cap was reached before every file was read.
OBFUSCATION_FILE_OVER_READ_CAP OBFUSCATION_FILE_CAP_REACHED
docs/decisions/hafeok.ddd.nt, line 1
<urn:acc:01KZXCED6PQD7XQBXA36C6EHZD> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/ns/prov#Entity> .
ledger-cli/src/commands/merge_cmd.rs, line 1
//! `ledger merge` - the pre-merge plan, the driver plumbing, the install.
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 70395dfe317c. requests shell access. The manifest names this permission. install fetches a script from the network. can reach a host that is not written as a fixed address. reads a credential or environment file. a file was over the read cap and was not fully read. the file cap was reached before every file was read.
Date and source
Date checked:
github.com
Commit graded: 70395dfe317cb9a00665433813766ca763f3c58a
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.