Back to skill
Skillv1.0.2
VirusTotal security
openmath-open-theorem · External malware reputation and Code Insight signals for this exact artifact hash.
Scanner verdict
BenignMay 1, 2026, 9:25 AM
- Hash
- ee0f897cef58c97952ff494443c19745cd6912f3a8ac1f43474f1732b7a2216d
- Source
- palm
- Verdict
- benign
- Code Insight
- Type: OpenClaw Skill Name: openmath-open-theorem Version: 1.0.2 The skill bundle is a legitimate toolset for interacting with the OpenMath formal verification platform. It provides scripts for discovering, detailing, and scaffolding Lean and Rocq (Coq) theorem workspaces. The code uses standard Python libraries (urllib, pathlib, json) for API interaction and file management, follows a well-documented configuration gate (openmath-env.json), and contains no evidence of data exfiltration, malicious execution, or prompt injection. All actions are consistent with the stated purpose of theorem discovery and local environment setup.
- External report
- View on VirusTotal