claude

tob-picks

Curated Trail of Bits skills: property-based testing, spec-to-code compliance, sharp-edges API and config review, and mutation-testing analysis. Vendored from trailofbits/skills, synced weekly.

0 on GitHubby deadmadev0.6.0CC-BY-SA-4.0updated 12 days ago

Not in a marketplace yet, so it loads for one session with --plugin-dir.

Plugin tob-picks in deadmade/dead-claude-skills. Commands read from the repo's manifest — 11 days ago.

What it installs

Skills (4)

  • mutation-testing

    Configures mewt or muton campaigns, analyzes surviving mutants, and investigates bugs exposed by testing gaps. Use when setting up mutation testing, reviewing campaign results, identifying equivalent mutants, or finding bugs from surviving mutations.

  • property-based-testing

    Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. Use whenever tests should cover a whole input domain instead of a hand-picked list of examples: encode/decode and serialize/deserialize pairs, parsers, ca

  • sharp-edges

    Identifies error-prone APIs, dangerous configurations, and footgun designs that enable security mistakes. Use when reviewing API designs, configuration schemas, cryptographic library ergonomics, or evaluating whether code follows 'secure by default' and 'pit of success' principles. Triggers: footgun

  • spec-to-code-compliance

    Check code against the documentation that specifies it - which requirements hold, which the code contradicts, which are absent, and what the code does that no document mentions. Use when comparing an implementation against a whitepaper, protocol spec, or design document.

Subagents (2)

  • sharp-edges-analyzer

    Evaluates APIs, configurations, and library interfaces for misuse resistance and footgun potential. Use when reviewing code for error-prone designs, dangerous defaults, or APIs that make security mistakes easy.

  • spec-compliance-checker

    Checks one documented requirement against the code that should implement it, and returns a verdict with the lines that evidence it. Writes its analysis to disk and returns a compact record. Use for a single requirement; use the spec-compliance workflow for a whole document.

View source on GitHub

More from deadmade/dead-claude-skills

All 22 plugins →

Microsoft's .NET skills (dotnet/skills): C#, testing, MSBuild/NuGet, ASP.NET Core, Blazor, EF Core, MAUI, WinForms, behind six C#-only router skills. Vendored, synced weekly. Opt-in.

108 skills

0

flows

claude

Conductor skills that run the rest of the marketplace in order, with approval gates and resumable state: /feature-flow, /research-flow, /implement, /fix-flow and /upgrade build; /test-audit, /doc-audit and /harden check a branch or the whole repo; /self-review reviews your branch before a PR and /verify proves it is ready for one; /understand teaches a codebase; /learn saves what a flow taught. Also a writing skill (Williams and Bizup's Style) with a copyedit in which an Opus editor revises a document by that skill, and a code-only prose check on each Write or Edit of a Markdown file. Carries its skill packs, which only its conductors read, and installs the other plugins they use. Opt-in.

14 skills · 6 agents · hooks

0

Curated skills from poteto's pstack (Cursor), rewritten for Claude Code: how/why/recall, adversarial review, architect/arena, decision trails and engineering principles.

16 skills · 1 agent

0

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

0

Curated Matt Pocock skills that complement superpowers: the productivity skills plus grilling with domain docs, spec → tickets and architecture deepening. Vendored from mattpocock/skills, synced weekly.

13 skills

0

atlassian

claude

Atlassian's official plugin: Rovo MCP server for Jira and Confluence (OAuth sign-in via /mcp) plus skills. Opt-in.

7 skills · 1 MCP server

0

Maintain tob-picks?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins22 plugins