claude

tim-pbt

Property-based bug hunting: discover invariants in your code, find real bugs with Hypothesis/fast-check.

0 on GitHubby Tim Schreyackv3.0.0Apache-2.0updated 21 days agotesting
/

Plugin tim-pbt from marketplace tim in schreyack/tim. Commands read from the repo's manifest — 21 days ago.

This plugin runs code on your machine — its hooks fire automatically on events like tool use. The exact commands are listed below; read them before installing.

What it installs

Slash commands (2)

  • /tim-pbt:cancel-tim-pbt

    Clean up generated PBT test files

  • /tim-pbt:tim-pbt

    Property-based bug hunting: discover invariants, find real bugs

Hooks (1)

  • Stop

    python3 ${CLAUDE_PLUGIN_ROOT}/scripts/pbt_hook.py

View source on GitHub

More from schreyack/tim

All 4 plugins →

tim-loop

claude

Goal in, working code out: iterative convergence with verification loop and AI behavioral enforcement. Includes plan-ops.sh for plan lifecycle management. Four-phase workflow: Plan -> Review -> Implement -> Verify.

4 commands · hooks

0

tim-e2e

claude

E2E testing with Playwright MCP: playbook execution or ad-hoc bug hunting.

2 commands

0

Plan audit: verify every plan's claims against actual codebase state.

1 command

0

Similar plugins

Collection of example skills demonstrating various capabilities including skill creation, MCP building, visual design, algorithmic art, internal communications, web testing, artifact building, Slack GIFs, and theme styling

19 skills

anthropics/skills 193,780

Comprehensive PR review agents specializing in comments, tests, error handling, type design, code quality, and code simplification

1 command · 6 agents

anthropics/claude-code 155,476

storybook

claudecodex

Build, preview, and test UI components with Storybook.

7 skills

storybookjs/storybook 91,552

Agentic QE (external: maintained in proffesor-for-testing/agentic-qe, pinned to v3.15.17): a quality-engineering fleet with 11 QE agents, 9 skills, 9 commands, the agentic-qe MCP server pinned to the plugin version, and the aqe-mod guard that refuses destructive operations on AQE learning data

9 skills · 9 commands · 11 agents · 1 MCP server

ruvnet/ruflo 81,589

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

vercel-labs/agent-browser 50,373

Maintain tim-pbt?

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 plugins4 plugins