vmvarela/skills · Archived
methodical-programming
Apply rigorous, mathematically-grounded program construction and verification. Derive correct programs from formal pre/post specifications using axiomatic…
Installation
npx skills add https://github.com/vmvarela/skills
Stronger alternatives
This repository is archived — consider an actively maintained alternative.
Write concise, useful project documentation (READMEs, guides, docs/) inspired by Philip Greensp…
46 installsManage software projects with Scrum on GitHub. Plan MVPs, maintain a Product Backlog as Issues,…
32 installsGuide the planning phase of software development. Use when designing system architecture, plann…
12 installsGuide the build phase of software development. Use when writing, testing, or refactoring code —…
11 installsSimilar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
A micro-prompt that reminds the agent that it is an interactive programmer. Works great in Cloj…
9K installsUse this skill when the user is writing their first DOCA app or asking a library-agnostic progr…
134 installsWrite game shaders from cross-engine fundamentals — the vertex→fragment pipeline, coordinate sp…
2.5K installsAI-assisted pair programming with multiple modes (driver$navigator$switch), real-time verificat…
1.2K installsImplement reactive programming patterns using RxJS, streams, observables, and backpressure hand…
476 installsComplete guide for Rust systems programming including ownership, borrowing, concurrency, async …
427 installsAlso in this package
Other skills from vmvarela/skills.
npx skills add https://github.com/vmvarela/skills
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Repository health
main
History
- First seen on skills.sh
- First recorded snapshot · 48 installs