acorn-prover
Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or cryptographic protocols, or writing proofs in the Acorn language. Triggers on: (1) Creating or editing .ac files, (2) Running acorn verify commands, (3) Formalizing math or crypto proofs, (4) Questions about Acorn syntax or standard library.
Source-aware scan found higher-privilege capability areas (token), but that alone is not evidence of malicious behavior.
✉️ Quick review
No runtime postcard yet for this skill. Static evidence is available below, but the runtime lane has not touched it yet.
Before you install
- You are specifically looking for image-and-video-generation / awesome-index workflows.
- Expect setup work: this skill references 12 env vars.
- Assume outside service calls are part of the story: 1 external domain reference showed up.
- Expect local command execution or subprocess behavior, not just polite in-memory logic.
- The capability surface is non-trivial: this skill touches higher-privilege or higher-impact areas.
- No runtime verdict yet, so you are leaning harder on static evidence and documentation quality.
Why this label
This landed in Trusted because the visible evidence looks ordinary, legible, and non-deceptive for what the skill claims to do.
Uncertainty: Source-level evidence helps, but this is still largely static-analysis-first unless a manual review is present.
Capability surface and suspicious signals
Capability surface
These increase access or impact, but they are not the same thing as deceptive or malicious behavior.
Capability summary
+ 2 more
Suspicious behaviors
These are the signals that count much more heavily against the score.
Evidence
+ 9 more
Read this section in two layers: capability surface shows what the skill can touch, while suspicious signals show what looks deceptive or riskier than ordinary integrations.
🧪 Technical runtime details
No runtime suite recorded yet for this skill.
Publisher and provenance
Listed in the VoltAgent awesome-openclaw-skills catalog under Image And Video Generation and lightly source-scanned from openclaw/skills. This is stronger evidence than catalog metadata alone, but still not a full runtime audit.
Source type: awesome-index
Source path: https://github.com/openclaw/skills/tree/main/skills/flyingnobita/acorn-prover/SKILL.md
Source URL: https://github.com/openclaw/skills/tree/main/skills/flyingnobita/acorn-prover/SKILL.md
Discovery category: Image And Video Generation
Manual review
No human review yet. The scorecard is currently static-analysis-first.
Community signals
Community signals
These are community attention markers, not crowd-sourced truth. Click what feels especially worth flagging or reviewing.
Related skills
kefir-batch-manager
Comprehensive kéfir batch management system with cycle tracking, intelligent reminders, grain health monitoring, and recipe management. Use when managing kéfir fermentation cycles, tracking grain health, calculating ratios, scheduling reminders, or maintaining fermentation records.
echo-agent
EchoAgent is a minimal OpenClaw-compatible skill.
japanese-tutor
Interactive Japanese learning assistant. Supports vocabulary, grammar, quizzes, roleplay, PDF/DOCX material parsing for study/homework help, and OCR translation.