This repository was archived by the owner on May 19, 2026. It is now read-only.

21 lines (14 loc) · 598 Bytes

lean-verify

Skills

This project uses the Agent Skills framework for domain-specific guidance.

leanspec-sdd - Spec-Driven Development

Location: See your skills directory (e.g., .github/skills/leanspec-sdd/SKILL.md)
Use when: Working with specs, planning features, multi-step changes
Key principle: Run board or search before creating specs

Read the skill file for complete SDD workflow guidance.

Project-Specific Rules

Add your project-specific conventions here. For example:

Code style preferences
Naming conventions
Team workflows
Custom tooling