gregwebs/skills-sdlc
View on GitHub ↗ ★ 20 Shell
General skills for software development. Ensure quality through reviews and rigorous validations
11 mentions on Hacker News by 1 person: 0 stories, 11 comments · first 2026-08-20 · latest 2026-10-23
20082026
-
…to know when they are more productive than other techniques and to relay that advice to an LLM. [1] https://github.com/gregwebs/skills-sdlc/blob/main/skills/rus... [2] https://github.com/gregwebs/skills-sdlc/blob/main/skills/ver...
comment by gregwebs · 2026-10-23 · in LLMs are making formal software verification feasible at a much larger scale -
…have only a minimal negative effect on the normal compilation path. I have a skill for using Verus: https://github.com/gregwebs/skills-sdlc/blob/main/skills/rus...
comment by gregwebs · 2026-10-14 · in What agents mean for Rust (and vice versa) -
…are more dead weight. But it does seem to be properly orienting the agents towards finding defects. https://github.com/gregwebs/skills-sdlc/blob/main/skills/ver...
comment by gregwebs · 2026-10-04 · in Agents don't need memory, they need documentation -
…[1] https://github.com/mattpocock/skills/blob/main/skills/engineering/codebase-design/SKILL.md [2] https://github.com/gregwebs/skills-sdlc/blob/main/skills/verify/SKILL.md [3] https://github.com/mattpocock/skills/blob/main/skills/engineerin…
comment by gregwebs · 2026-09-28 · in Prompting Claude Opus 5.5 -
…review back-and-forth is fully automated [2], so it doesn't take any extra attention from me. [1] https://github.com/gregwebs/skills-sdlc/tree/main/skills/implement [2] https://github.com/gregwebs/skills-sdlc/blob/main/skills/code-review-wi…
comment by gregwebs · 2026-09-28 · in Prompting Claude Opus 5.5 -
…just Claude for example you can use Sonnet as the implementer and Fable/Opus as the planner. [1] https://github.com/gregwebs/skills-sdlc/
comment by gregwebs · 2026-09-14 · in GPT-5.6 Luna vs. GPT-6 Astra: Is a $1.20 Model Good Enough for Code Review? -
…has taught me that code must be written to be easy to test, but not necessarily done TDD style. [1] https://github.com/gregwebs/skills-sdlc/
comment by gregwebs · 2026-09-08 · in How well do agents use test/verification techniques? -
…product. The result is rarely perfect, so I am constantly tweaking the skills and how I use AI. [1] https://github.com/gregwebs/skills-sdlc/
comment by gregwebs · 2026-09-07 · in Ask HN: How do you manage skills files? -
…clear out the context. Basically /compact. I use workflows with sub agents handing off .md files: https://github.com/gregwebs/skills-sdlc/blob/main/skills/imp... What the author is doing is probably the future- it should be a lot more…
comment by gregwebs · 2026-08-30 · in I accidentally turned LLM memory into program analysis -
…it results in some silly tests, but it produces much lower defect code. Its not just for bugs. [1] https://github.com/gregwebs/skills-sdlc/ [2] https://github.com/mattpocock/skills/blob/main/skills/engine...
comment by gregwebs · 2026-08-24 · in My agent.md to improve LLM-assisted code quality -
…migration. I do the same for normal feature develompent but just with skills that are in this repo: https://github.com/gregwebs/skills-sdlc I have accomplished code base (small size) migrations with it as well. Currently I do review each…
comment by gregwebs · 2026-08-20 · in Sol loves to cheat