Back to skill
Skillv1.0.0
VirusTotal security
Acorn Prover · External malware reputation and Code Insight signals for this exact artifact hash.
Scanner verdict
BenignApr 29, 2026, 3:16 AM
- Hash
- d1893098bec65c89b5bf9cba55aed7561fa5d2d48bc48aace10bb1ec0ea1d9e3
- Source
- palm
- Verdict
- benign
- Code Insight
- Type: OpenClaw Skill Name: acorn-prover Version: 1.0.0 The skill is designed to interact with the Acorn theorem prover, requiring user-provided paths for `ACORN_LIB` and `ACORN_PROJECT`. Both the `SKILL.md` instructions and the `scripts/setup.sh` script explicitly validate these paths to ensure they are existing directories. All commands executed (`acorn verify`, `reverify`, `training`, `docs`) are directly aligned with the stated purpose. There is no evidence of data exfiltration, malicious execution (e.g., remote code download), persistence, or prompt injection attempts to subvert the agent's behavior or hide actions; in fact, the skill explicitly instructs the agent to 'Always show the full command output to the user'.
- External report
- View on VirusTotal