Search
searlsco/prove_it
3 skills found.
Category:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Inspect proveit session logs—review history, reviewer verdicts, and session state. | searlsco/ | 198 | — | ~486 | Automated safety check: Pass | MIT | 18 days ago |
| 2 | Test proveit from source against an example project or temp directory. | searlsco/ | 198 | — | ~518 | Automated safety check: Pass | MIT | 18 days ago |
| 3 | Create a temporary real project and prove a proveit feature works (or doesn't) end-to-end. | searlsco/ | 198 | — | ~5.7k | Automated safety check: Pass | MIT | 18 days ago |
