michael-denyer

michael-denyer/pstack-claude

michael-denyer/agent-formal-verify

michael-denyer/agent-formal-verify

Vet a perf measurement (limiter, tuning, limits, errors, repeatability, relevance, and whether the work happened) before you repor...

michael-denyer/pstack-claude

michael-denyer/pstack-claude

michael-denyer/pstack-claude

michael-denyer/black-box-unlock

michael-denyer/black-box-unlock

michael-denyer/black-box-unlock

michael-denyer/black-box-unlock

michael-denyer/memory-mcp

michael-denyer/memory-mcp

Spawn N parallel candidates at the same task, pick a base, graft the strongest parts of the losers into it. Use for /arena, 'arena...

Watch an open PR — fix failing CI, handle the straightforward review comments, and drive it to a mergeable state. Claude Code anal...

Find what a change could break somewhere else before it ships, beyond the diff, and prove the one fact it's safe because of by run...

michael-denyer/pstack-claude

Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in any langua...

Design an auditable playbook when no narrower one fits: a large migration, an ambitious multi-part change, or work a human reviews...

Use for \"how does X work\", code walkthroughs before changing something, and placement / ownership / layering questions (\"where ...

michael-denyer/pstack-claude

Use for \"interrogate\", \"adversarial review\", \"multi-model review\", \"challenge this\", \"stress test this code\", \"find bli...

Catch the user up on what changed in this chat since their last message, in plain words and small visuals. List every item waiting...

Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified co...

Periodic pass that keeps a project's verification skill and feature map honest: parallel source readers per feature, one live sess...

Spawn the comment-sicko subagent, fix accepted findings, and offer encodings for claimed constraints.

michael-denyer/pstack-claude

michael-denyer/pstack-claude

Apply when reviewing or shaping code that's hard to trace. Count layers between question and answer, and hidden state in the reade...

michael-denyer/pstack-claude