trailofbits/skills
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…
Installation
npx skills add https://github.com/trailofbits/skills
Similar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
Browser automation CLI for AI agents. Use when the user needs to interact with websites, includ…
11.9K installsConfigure Azure API Management as an AI Gateway for AI models, MCP tools, and agents. WHEN: sem…
1.5K installsAzure VM/VMSS router. WHEN: create / provision / deploy / spin-up VM, recommend VM size, compar…
1.5K installsPostgres best practices maintained by Supabase, for Postgres running anywhere. Load this skill …
1.4K installs>- Provides foundational Firebase CLI setup, CLI installation, version checks (`firebase-tools@…
545 installsUse when the user asks how to look up 지하철 분실물 or 유실물 by 역?
64 installsAlso in this package
Other skills from trailofbits/skills · top by installs.
npx skills add https://github.com/trailofbits/skills
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Repository health
main
History
- First seen on skills.sh
- First recorded snapshot · 5,500 installs