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 ↗
Feature your product here Skill page unit · reach builders installing agent skills View pricing →

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…

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

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

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

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

1.4K installs
webapp-testing Shared topics
anthropics/skills

Toolkit for interacting with and testing local web applications using Playwright. Supports veri…

904 installs
property-based-testing Similar name
trailofbits/skills

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

43 installs
subway-lost-property Similar name
nomadamas/k-skill

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

64 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