pragmatic-docs

vmvarela

Write concise, useful project documentation (READMEs, guides, docs/) inspired by Philip Greenspun's pragmatic style. Use when creating or improving README.md, writing module docs, CONTRIBUTING.md, or structuring any project documentation for software projects.

GitHub Scrum

vmvarela

Manage software projects with Scrum on GitHub. Plan MVPs, maintain a Product Backlog as Issues, run Sprints as Milestones, and automate setup with the gh CLI. Adapted for solo developers and small teams (1–3 people).

methodical-programming

vmvarela

Apply rigorous, mathematically grounded program construction and verification. Derive correct programs from formal pre/post specifications using axiomatic semantics, structural induction, recursive design with bounding functions, algorithm immersion, and iterative derivation with loop invariants. Language-agnostic.

tdd

vmvarela

Follow test-driven development with the red-green-refactor loop. Write failing tests first, make them pass with minimal code, then refactor. Covers unit and integration test strategies across Python, JavaScript/TypeScript, Go, and other languages.