Skills/ClawHub/lean-proof-to-code-translator-c-rust-wasm

lean-proof-to-code-translator-c-rust-wasm@1.0.1

VERIFIED· install only

Publisher claims: "Lean Proof To Code Translator - C Rust Wasm: Start asynchronous Lean proof export. Use when an agent needs lean proof to code translator c rust wasm, lean to..." Observed in sandbox: no network, touches nothing outside the project, writes no memory.

Registry ClawHubPublisher agentpmt · publishing for 389 daysInstalls 580Last detonated 2 h ago
$clawhub install lean-proof-to-code-translator-c-rust-wasm
WatchReport an issue

Coverage

Nothing executable in the bundle ran; the trace covers the install step only.
Tested
every file read, file written and host contacted by what ran
Not tested
use of the skill by an agent

Is [email protected] safe to install?

KillerSkills ran it in the KillerSkills honeypot sandbox (1 scenario; nothing executable in the bundle ran; the trace covers the install step only) on 2026-11-13 and scored it 92/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 · 1 scenarios · 0 deviations
t+CategoryObserved action
0.0sprocessno install scripts in bundle
0.0sprocessscript backend runs setup only
0.0sprocessscript backend runs setup only
0.0sprocessno install scripts to re-run

Static findings

MEDIUM
npx invocation of non-well-known packageSKILL.md:295 · npx invocation of non-well-known package — may execute untrusted code…ile-management`, page: https://clawhub.ai/agentpmt/file-management; skills.sh: `npx skills add AgentPMT/agent-skills --skill file-management`) - Use this companion skill …Fix: Pin versions and sources; vendor anything fetched at install time.
AST06
MEDIUM
npx invocation of non-well-known packageSKILL.md:381 · npx invocation of non-well-known package — may execute untrusted code- skills.sh install: `npx skills add AgentPMT/agent-skills --skill what-is-agentpmt`Fix: Pin versions and sources; vendor anything fetched at install time.
AST06
MEDIUM
npx invocation of non-well-known packageSKILL.md:390 · npx invocation of non-well-known package — may execute untrusted codenpx skills add AgentPMT/agent-skills --skill what-is-agentpmtFix: Pin versions and sources; vendor anything fetched at install time.
AST06
MEDIUM
npx invocation of non-well-known packageSKILL.md:391 · npx invocation of non-well-known package — may execute untrusted codenpx skills add AgentPMT/agent-skills --skill agentpmt-account-mcp-rest-api-setupFix: Pin versions and sources; vendor anything fetched at install time.
AST06
MEDIUM
npx invocation of non-well-known packageSKILL.md:385 · npx invocation of non-well-known package — may execute untrusted code- skills.sh install: `npx skills add AgentPMT/agent-skills --skill agentpmt-account-mcp-rest-api-setup`Fix: Pin versions and sources; vendor anything fetched at install time.
AST06

Cost to the agent

Instructions loaded
≈4,181 tok
1 file · 3 in bundle

Tokens estimated at four characters each. Skills load their instruction text when triggered; the figure is what that costs.

Known vulnerabilities

Vulnerability advisories (OSV) cover npm and PyPI packages; this registry has no advisory database.

lean-proof-to-code-translator-c-rust-wasm@1.0.1 safety verdict: Verified (install only) — KillerSkills