Search
Writing & Content · Python · sunblaze-ucb/vero
3 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Load BEFORE translating any Python item to Lean 4 to avoid known Python→Lean pitfalls. | sunblaze-ucb/ | 107 | — | ~1.7k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 2 | Load BEFORE translating Python source to Lean 4. An agent skill from sunblaze-ucb/vero. | sunblaze-ucb/ | 107 | — | ~1.9k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 3 | Use during the specwrite stage to author specifications for translated Python (or new-source) projects in two substeps — reason about what specs should exist, then formalize them in Lean. | sunblaze-ucb/ | 107 | — | ~1.5k | Automated safety check: Notes | Apache-2.0 | 1 mo ago |
