jeremiah-masters
UserClaude Code skills for Go testing and linearizability debugging.
Categories
Indexed Skills (2)
pbt
Write property-based tests using rapid (pgregory.net/rapid) for Go. Triggers on: "property-based tests", "PBT", "rapid tests", "test with random inputs", "generative tests", "test properties", "randomized testing"
porcupine-analyzer
Diagnose Porcupine linearizability test failures from the visualization HTML. Use this skill whenever a test produces a Porcupine visualization that isn't `Ok` — covers both `Illegal` (real violation) and `Unknown` (checker timeout); the analyzer helps tell them apart. Trigger on phrases like "Porcupine reports Illegal", "violation HTML", "non-linearizable test failure", "linearizability check failed", "syncmap violation", "register violation", "KV linearizability", or any time a user mentions a Porcupine HTML artifact they want diagnosed. Model-agnostic: works for any Porcupine model, including custom op vocabularies — does not assume Get/Put/Insert/ Delete or any specific schema; consumes the per-step StateDescription strings the model itself produced. Surfaces the smoking-gun op, the frontier state, value-token provenance (including state-side mining for ops with no value of their own, e.g. `Delete() -> not found`), temporal concurrency context, and annotation correlation.
Bio shown is the top-scored skill's repo description as a fallback — real GitHub bios land in a future update.