vero-discover
OfficialEffortless Verification Code Generation Repository Scanning
Software Engineering#code generation#benchmarking#code discovery#repository analysis#verification code
Authorsunblaze-ucb
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Vero-discover Skill unit provides automated scanning of verified source code repositories to facilitate accurate item classification, ensuring the generation of human-curatable markdown for thorough repository assessment and automated discovery reporting.
Core Features & Use Cases
- Repository Scanning: Efficiently scans repositories containing verified source code, categorizing every element within them.
- Automatic Markdown Generation: Outputs per-file markdown for human curation, including APIs, specifications, theorems, tests, and more.
- Machine-Readable JSON Reporting: Produces a structured JSON report for machine-consumption and integration into broader workflows.
- API Detection: Categorizes executable code and specification functions to aid in the API definition for the Lean benchmark.
Quick Start
Execute the vero-discover skill on a verified codebase to initiate the scanning process.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferencesassets
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: vero-discover Download link: https://github.com/sunblaze-ucb/vero/archive/main.zip#vero-discover Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.