Search
Mobile · By alexvanyo
3 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Performs a guided fixup of a given GitHub PR. An agent skill from alexvanyo/composelife. | alexvanyo/ | 267 | — | ~1k | Automated safety check: Pass | Apache-2.0 | today |
| 2 | Helps increment code coverage in this Kotlin Multiplatform project. | alexvanyo/ | 267 | — | ~1.1k | Automated safety check: Pass | Apache-2.0 | today |
| 3 | Guides formal verification of algorithms, data structures, and properties in the ComposeLife project using Lean 4 and Mathlib. | alexvanyo/ | 267 | — | ~3.3k | Automated safety check: Pass | Apache-2.0 | today |
