Property-based testing guidance for multiple languages and smart contracts
Property-based testing guidance for multiple languages and smart contracts
Run these commands inside Claude Code. Skip the first step if you've already added the AgentHub marketplace.
/plugin marketplace add nullorder/agenthub /plugin install property-based-testing@agenthub Plugins are cached locally. To pull the latest changes for property-based-testing, refresh the catalog first, then update.
/plugin marketplace update agenthub /plugin update property-based-testing@agenthub Found a bug or have a question about property-based-testing? Open an issue on the plugin's repository.
Report an issue with this pluginYou might like more plugins by Henrik Brodin or in testing
Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations (Claude Code Action, Gemini CLI, OpenAI Codex, GitHub AI Inference)
Search and extract data from Burp Suite project files (.burp) for security analysis
Build deep architectural context through ultra-granular code analysis before vulnerability hunting
Comprehensive smart contract security toolkit based on Trail of Bits' Building Secure Contracts framework. Includes vulnerability scanners for 6 blockchains and 5 development guideline assistants.
Paste into your terminal. Each line runs in order.