prove
What this skill does
Formal theorem proving with research, testing, and verification phases
github/parcadei - Dependency Installation - 3.9k stars
Threat analysis
Skill info
pkg:github/parcadei/Continuous-Claude-v3@d07ff4b?skill=proveAssessments (1)
Dependency Installation
Dependency Installation via local-llm-review
SKILL.md
The skill includes instructions to install elan (Lean version manager) using 'curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh'. This could be a risk if the script Badge
Add the Anomity scan badge for prove to your README.
How Anomity governs this at runtime
Scan-time vetting tells you what a skill says it will do. Anomity's Endpoint Sensor sees what agents actually do: it discovers skills alongside every other AI artifact on the endpoint, and runtime governance can allow, deny, or log the tool calls a skill triggers. Policy violations route to your SIEM, Slack, email, or Jira, backed by a queryable 90-day audit trail.
Book a 30-minute demo to see your own skill inventory.
Methodology and disputes
Every skill is assessed by the Anomity Skill Intelligence engine against its public source; findings indicate risk patterns, not confirmed exploitation. Maintainer of prove? Report an issue or request a rescan.
