SkillsAdd

copyleftdev/sk1llz

hughes-property-based-testing

Test software in the style of John Hughes, inventor of QuickCheck and property-based testing. Emphasizes specifying properties that should hold for all inputs,…

First seen Feb 1, 2026

Installation

$ npx skills add https://github.com/copyleftdev/sk1llz
View on skills.sh ↗ GitHub repository ↗

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

agent-browser Shared topics
vercel-labs/agent-browser

Browser automation CLI for AI agents. Use when the user needs to interact with websites, includ…

810.4K installs
azure-diagnostics Shared topics
microsoft/azure-skills

Debug Azure production issues on Azure using AppLens, Azure Monitor, resource health, and safe …

568.9K installs
azure-validate Shared topics
microsoft/azure-skills

Pre-deployment validation for Azure readiness. Run deep checks on configuration, infrastructure…

567.7K installs
supabase-postgres-best-practices Shared topics
supabase/agent-skills

Postgres best practices maintained by Supabase, for Postgres running anywhere. Load this skill …

391.6K installs
property-based-testing Similar name
trailofbits/skills

Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rap…

5.4K installs
subway-lost-property Similar name
nomadamas/k-skill

Use when the user asks how to look up 지하철 분실물 or 유실물 by 역?

3.9K installs

Also in this package

Other skills from copyleftdev/sk1llz · top by installs.

npx skills add https://github.com/copyleftdev/sk1llz
google-material-design 141 aqr-factor-investing 116 renaissance-statistical-arbitrage 112 mitre-attack-framework 108 minervini-swing-trading 99 de-shaw-computational-finance 72 jump-trading-fpga-hft 35 peyton-jones-practical-haskell 29 virtu-market-microstructure 26 citadel-low-latency-systems 25

Browse all from copyleftdev/sk1llz

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Also listed on

Alternate registries and mirrors of this skill.

Repository health

License LICENSE
Default branch master
Open issues 0
Status Active

History

  1. First seen on skills.sh
  2. First recorded snapshot · 11 installs