sk Skill · EffortlessMetrics
build-candidate
Build, harden, simplify, and challenge one current candidate for a coherent claim. Use after proof design or when an existing candidate needs repair before substantive PR review.
Open on skills.sh ↗read 2026-09-17
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 0
Rust
- Host repository
- EffortlessMetrics/ripr
- Host stars
- 1
- Host language
- Rust