GitHub user
Agent skills by alexvanyo
- skills
- 3
- repository
- 1
Repositories by alexvanyo
Skills by alexvanyo, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | 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 | — | ~2.5k | Automated safety check: Pass | Apache-2.0 | today |
Questions, answered from the data.
What is the best skill by alexvanyo?
Guided PR Fixup from alexvanyo/composelife ranks first of the 3 skills by alexvanyo listed here, with the highest score: its repository has 267 GitHub stars, its SKILL.md loads about 1k tokens and it passes the automated safety check with no findings. Next come Improve Code Coverage and Formally Verify.
Are alexvanyo's skills official?
None yet. All 3 skills by alexvanyo listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.