Back to skill
Skillv1.0.0
VirusTotal security
autospec · External malware reputation and Code Insight signals for this exact artifact hash.
Scanner verdict
BenignApr 29, 2026, 2:06 PM
- Hash
- ff9db92931fcf9c565ba9bf69c8ff09ac315a9078857f227bdc9a771864f8e3b
- Source
- palm
- Verdict
- benign
- Code Insight
- Type: OpenClaw Skill Name: ah-autospec Version: 1.0.0 The skill bundle defines an agent for automated formal specification synthesis (AutoSpec). The instructions in SKILL.md and the TypeScript architectural example in references/examples.md are strictly focused on code analysis, theorem proving (e.g., Z3, Dafny), and generating formal contracts (preconditions, postconditions, invariants). There is no evidence of malicious intent, data exfiltration, or unauthorized execution.
- External report
- View on VirusTotal