vero-spec-write
OfficialAutomate Lean 4 specification writing for AI benchmark projects.
Software Engineering#formal methods#Lean 4#specification writing#AI benchmark#repository-level verification
Authorsunblaze-ucb
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates the creation of specifications for Lean 4 projects participating in the Vero AI benchmark, reducing the time and effort required for specification writing.
Core Features & Use Cases
- Specification Generation: Automates the reasoning and formalization of specifications for Lean 4 projects.
- Integration with Vero: Works seamlessly with the Vero benchmark to streamline the specification process.
- Use Case: With this Skill, AI agents can generate specifications for complex repository-level Lean 4 projects, such as those involving cryptographic protocols or distributed systems.
Quick Start
Use the vero-spec-write skill to generate specifications for the project 'crypto-protocol-repo'.
Dependency Matrix
Required Modules
None requiredComponents
scriptsreferences
💻 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-spec-write Download link: https://github.com/sunblaze-ucb/vero/archive/main.zip#vero-spec-write 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.