Skills/PyPI/provellm-mcp

provellm-mcp@2.1.2

VERIFIED· not started

Publisher claims: "ProveLLM MCP Gateway — every MCP tool call checked against an agent passport, and signed into a receipt." Observed in sandbox: no network, touches nothing outside the project, writes no memory.

Registry PyPI (MCP server)Publisher provellm · publishing for 29 daysInstalls 231Last detonated 45 min ago
$claude mcp add provellm-mcp -- uvx provellm-mcp
WatchReport an issue

Coverage

Not started: dependency install failed; the server itself was not observed.
Tested
the dependency install step · every file read, file written and host contacted by what ran
Not tested
server startup · the tool list · tool behavior

What this means for the label: Verified here covers what ran. The server's tools were not exercised with a real credential, so nothing about their behavior is asserted; the credential summary below says what to do with that.

Before you give it your token

It will ask for
PROVELLM_API_KEYConfiguration, not credentials: PROVELLM_AGENT, PROVELLM_API, PROVELLM_ATTEST_OUTPUT, PROVELLM_CHAIN_ID, PROVELLM_MCP_HEADERS, PROVELLM_MCP_TIMEOUT, PROVELLM_MCP_URL, PROVELLM_NO_TOOL_MANIFEST, PROVELLM_PARENT_RUN_ID, PROVELLM_PURPOSE, PROVELLM_TEAM, PROVELLM_USER
Where it talks to
no vendor host named in the codeAlso linear.app, provingx.com — not the publisher's domain; check what for before connecting.
What the honeypot saw
no credential files read · no network
What we could not test
server startup · the tool list · tool behavior

Connect it with a scoped credential, under the guard, and read the third-party hosts first. The code names linear.app, provingx.com as well as its own vendor. The guard injects PROVELLM_API_KEY only into requests to the host you bind (and its subdomains) and refuses the rest.

$vet-skills run --net declared -- uvx provellm-mcp

Never paste a credential into a chat, a ticket or a report, including ours. How the guard holds it.

Is [email protected] safe to install?

KillerSkills ran it in the KillerSkills honeypot sandbox (2 scenarios; not started: dependency install failed; the server itself was not observed) on 2026-11-15 and scored it 85/100 (Verified). In what ran, nothing we could detect went wrong: no undeclared network egress, no credential reads, no persistent instruction writes. What it does with a real credential was not observed; the static findings and the publisher carry the rest of the score. 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.1sprocessdependency install exit 1 ·
0.1sclaimednot started: dependency install failed (exit 1); the server itself was not observed
0.1sprocessscript backend runs setup only
0.1sprocessno install scripts to re-run

Static findings

MEDIUM
Process kill commandprovellm_mcp.py:137 · Process kill command — agent can terminate processes# kill signal interrupts Python mid-call, which is common — many processFix: Build commands from fixed arguments; do not interpolate untrusted strings into a shell.
AST05
MEDIUM
npx invocation of non-well-known packageprovellm_mcp.py:8 · npx invocation of non-well-known package — may execute untrusted codeprovellm-mcp --agent fs-agent -- npx -y @modelcontextprotocol/server-filesystem /pathFix: Pin versions and sources; vendor anything fetched at install time.
AST06
MEDIUM
Process kill commandprovellm_mcp.py:1870 · Process kill command — agent can terminate processesown. A kill signal is different: it lands mid-call, and the receiptFix: Build commands from fixed arguments; do not interpolate untrusted strings into a shell.
AST05
MEDIUM
Process kill commandprovellm_mcp.py:132 · Process kill command — agent can terminate processes# kill landing in that gap silently drops the one receipt for the call thatFix: Build commands from fixed arguments; do not interpolate untrusted strings into a shell.
AST05
MEDIUM
File permission modification commandprovellm_mcp.py:2088 · File permission modification command — agent changes file ownership/permissions# chmod is never the wide one.Fix: Request the narrowest permission that works; replace wildcards with the exact paths or hosts.
AST05
MEDIUM
Python subprocess execution detectedprovellm_mcp.py:707 · Python subprocess execution detectedself._child = subprocess.Popen(Fix: Build commands from fixed arguments, never from interpolated strings; prefer an API client over shelling out.
AST05
MEDIUM
npx invocation of non-well-known packageprovellm_mcp.py:761 · npx invocation of non-well-known package — may execute untrusted codepins the INSTRUCTION rather than the code: `npx -y @some/server` isFix: Pin versions and sources; vendor anything fetched at install time.
AST06

Cost to the agent

Instructions loaded
≈62 tok
1 file · 11 in bundle
Tool list per prompt
≈0 tok
0 tools · 0 per tool
Handshake
no reply
launch to tools/list, stdio
Undocumented tools
0
description under 20 chars · avg 0

Tokens estimated at four characters each. The tool list is re-read by the agent on every turn, so it is the number to compare between servers that do the same job: ranked across the index.

Known vulnerabilities

No advisories in OSV for provellm-mcp@2.1.2 as of 22 min ago. This is the package itself, not its dependencies.