Scan verified code repositories and generate markdown and JSON discovery reports.
npx skills add https://github.com/sunblaze-ucb/vero --skill vero-discover
Please help me install this Agent Skill. Skill: vero-discover Source: https://github.com/sunblaze-ucb/vero/tree/main/.claude/skills/vero-discover Command: npx skills add https://github.com/sunblaze-ucb/vero --skill vero-discover
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.
Execute the vero-discover skill on a verified codebase to initiate the scanning process.
High-intent search queries and answers about installing and using this skill.
Repository scanning for verification code is automated by categorizing code items and generating discovery markdown and JSON reports for each file, supporting Python, Dafny, Verus, and Coq codebases. It outputs per-file markdown for human curation.
Generating benchmark reports from verified codebases is handled by producing structured JSON outputs and per-file markdown. It categorizes executable code and specification functions to aid in API definition for the Lean benchmark.
Automated code discovery for multi-module repositories works by performing a thorough scan to categorize every element, including APIs, specifications, theorems, and tests, outputting both human-curatable markdown and machine-readable JSON.
You can use this tool to categorize executable code and specification functions through its API detection capability, which specifically identifies and categorizes these elements to aid in defining APIs for benchmarking.
Repository analysis for verification code requires no external dependencies to run, operating independently to scan codebases and generate structured markdown and JSON discovery reports.
Automated code discovery focuses on scanning and categorizing code items to generate reports, but the resulting markdown requires human curation for thorough repository assessment, indicating it assists rather than fully replaces manual verification.
sunblaze-ucbTranslate verified Dafny, Verus, or Coq code into Lean 4 benchmark projects.
tylerburleighCoordinate multi-model reviews of SDD specifications into categorized Markdown and JSON reports.
hashi-demo-labEnforces Azure Verified Modules standards for Terraform modules.
LuizEduPPAnalyze git diffs for risk issues and score code quality across six languages.
