SQL Optimization Patterns
ynulihao/AgentSkillOS
Master SQL query optimization, indexing strategies, and EXPLAIN analysis to dramatically improve database performance and eliminate slow queries.
A skill your agent uses when writing tests for serialization, validation, normalization, or pure functions - provides property catalog, pattern detection, and library reference for property-based…
Install Property Based Testing
$ npx skills add ed3dai/ed3d-plugins --skill property-based-testing -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install ed3dai/ed3d-plugins property-based-testing --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/ed3dai/ed3d-plugins.git skills-src && mkdir -p .claude/skills && cp -r skills-src/plugins/ed3d-house-style/skills/property-based-testing .claude/skills/property-based-testing && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "property-based-testing" agent skill from https://github.com/ed3dai/ed3d-plugins/tree/main/plugins/ed3d-house-style/skills/property-based-testing into .claude/skills/property-based-testing/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "property-based-testing", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/ed3dai/ed3d-plugins/tree/main/plugins/ed3d-house-style/skills/property-based-testingType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add ed3dai/ed3d-plugins --skill property-based-testing -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install ed3dai/ed3d-plugins property-based-testing --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ed3dai/ed3d-plugins.git skills-src && mkdir -p .agents/skills && cp -r skills-src/plugins/ed3d-house-style/skills/property-based-testing .agents/skills/property-based-testing && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "property-based-testing" agent skill from https://github.com/ed3dai/ed3d-plugins/tree/main/plugins/ed3d-house-style/skills/property-based-testing into .agents/skills/property-based-testing/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "property-based-testing", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add ed3dai/ed3d-plugins --skill property-based-testing -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install ed3dai/ed3d-plugins property-based-testing --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ed3dai/ed3d-plugins.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/plugins/ed3d-house-style/skills/property-based-testing .cursor/skills/property-based-testing && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "property-based-testing" agent skill from https://github.com/ed3dai/ed3d-plugins/tree/main/plugins/ed3d-house-style/skills/property-based-testing into .cursor/skills/property-based-testing/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "property-based-testing", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/ed3dai/ed3d-plugins.git --path plugins/ed3d-house-style/skills/property-based-testing--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add ed3dai/ed3d-plugins --skill property-based-testing -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install ed3dai/ed3d-plugins property-based-testing --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ed3dai/ed3d-plugins.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/plugins/ed3d-house-style/skills/property-based-testing .gemini/skills/property-based-testing && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "property-based-testing" agent skill from https://github.com/ed3dai/ed3d-plugins/tree/main/plugins/ed3d-house-style/skills/property-based-testing into .gemini/skills/property-based-testing/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "property-based-testing", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install ed3dai/ed3d-plugins property-based-testingInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add ed3dai/ed3d-plugins --skill property-based-testing -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/ed3dai/ed3d-plugins.git skills-src && mkdir -p .github/skills && cp -r skills-src/plugins/ed3d-house-style/skills/property-based-testing .github/skills/property-based-testing && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "property-based-testing" agent skill from https://github.com/ed3dai/ed3d-plugins/tree/main/plugins/ed3d-house-style/skills/property-based-testing into .github/skills/property-based-testing/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "property-based-testing", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add ed3dai/ed3d-plugins --skill property-based-testing -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install ed3dai/ed3d-plugins property-based-testing --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ed3dai/ed3d-plugins.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/plugins/ed3d-house-style/skills/property-based-testing .opencode/skills/property-based-testing && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "property-based-testing" agent skill from https://github.com/ed3dai/ed3d-plugins/tree/main/plugins/ed3d-house-style/skills/property-based-testing into .opencode/skills/property-based-testing/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "property-based-testing", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
property-based-testing- GitHub stars
- 250
- Token cost
- ~1.3k tokens
- SKILL.md length
- 449 words
- Files
- 1
- Skills in repo
- 34
- Repo updated
- First seen
- Licence
- None found
At a glance
A skill your agent uses when writing tests for serialization, validation, normalization, or pure functions - provides property catalog, pattern detection, and library reference for property-based…
- Works in 4 steps: Constrain early: Build constraints INTO… → Size limits: Prevent slow tests → Realistic data: Match real-world… → …
- Writing tests for serialization
- SKILL.md covers Overview, Property Catalog, Pattern Detection and When NOT to Use, plus 6 more sections
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Property Based Testing is an agent skill from ed3dai/ed3d-plugins. Use when writing tests for serialization, validation, normalization, or pure functions - provides property catalog, pattern detection, and library reference for property-based testing
Its SKILL.md is about 1.3k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It sits in Databases, covering Database schema design. The repository describes itself as: Ed's repo of Claude Code plugins, centered around a research-plan-implement workflow. Only a tiny bit cursed. If you're lucky.
When your agent uses it
- Writing tests for serialization
- Pure functions - provides property catalog
- Pattern detection
- Library reference for property-based testing
Example prompts
- “/property-based-testing”
Requirements
- Python 3
Workflow steps
4 steps, taken from the first numbered list in SKILL.md.
- Constrain early: Build constraints INTO the strategy, not via assume()
- Size limits: Prevent slow tests
- Realistic data: Match real-world constraints
- Reuse strategies: Define once, use across tests
What it can do on your machine
Read from SKILL.md and the folder at commit 0c90f4b. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md (its code samples are python).
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Property Based Testing loads about 1.3k tokens when it runs. Until then it costs about 52 tokens; SKILL.md has 449 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
Without a licence we can't republish the file, so here is its outline and opening line. It has 449 words (~1,329 tokens).
“Property-based testing (PBT) generates random inputs and verifies that properties hold for all of them. Instead of testing specific examples, you test invariants.”
- name
- property-based-testing
- user-invocable
- false
Files
Just SKILL.md in plugins/ed3d-house-style/skills/property-based-testing of ed3dai/ed3d-plugins.
Open the folder on GitHubat commit 0c90f4b
Compare with similar skills
Property Based Testing next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Property Based Testing this skilled3dai/ed3d-plugins | 250 | — | ~1.3k | Automated safety check: Pass | None | |
| SQL Optimization Patternsynulihao/AgentSkillOS | 617 | 11 repos | ~3.3k | Automated safety check: Pass | None | |
| Add Mpk Taskmirage-project/mirage | 2.5k | — | ~4.5k | Automated safety check: Pass | Apache-2.0 | |
| Datamodellmnimbalyst/nimbalyst | 1.9k | — | ~713 | Automated safety check: Pass | MIT | |
| B200 Flash Attention4 Plannermirage-project/mirage | 2.5k | — | ~1.9k | Automated safety check: Pass | Apache-2.0 | |
| Experiment Auditwanshuiyin/Auto-claude-code-research-in-sleep | 17k | 1 repos | ~2.7k | Automated safety check: Notes | MIT |
Similar skills
Add Mpk Task
mirage-project/mirage
Step-by-step guide for adding a new task implementation to Mirage Persistent Kernel (MPK).
Datamodellm
nimbalyst/nimbalyst
Create visual data models for database schemas using Nimbalyst's DataModelLM editor.
B200 Flash Attention4 Planner
mirage-project/mirage
A skill your agent uses when the user wants to design or extend a FlashAttention-style forward kernel on B200/Blackwell, involving the two MMAs QKᵀ and PV, online softmax, S/P/O in TMEM, warp roles…
Experiment Audit
wanshuiyin/Auto-claude-code-research-in-sleep
Audit experiment integrity before claiming results. An agent skill from wanshuiyin/Auto-claude-code-research-in-sleep.
Sqlite Schema Design
fastrepl/anarlog
Design or review schemas for crates/cloudsync using SQLite Sync constraints, not generic SQLite advice.
More from ed3dai/ed3d-plugins
All 34 skills in this repoSystematic Debugging
ed3dai/ed3d-plugins
A skill your agent uses when encountering any bug, test failure, or unexpected behavior, before proposing fixes - four-phase framework (root cause investigation, pattern analysis, hypothesis…
Testing Skills With Subagents
ed3dai/ed3d-plugins
A skill your agent uses when creating or editing skills, before deployment, to verify they work under pressure and resist rationalization - applies RED-GREEN-REFACTOR cycle to process documentation…
Brainstorming
ed3dai/ed3d-plugins
A skill your agent uses when creating or developing anything, before writing code or implementation plans - refines rough ideas into fully-formed designs through structured Socratic questioning…
Writing Good Tests
ed3dai/ed3d-plugins
A skill your agent uses when writing or reviewing tests - covers test philosophy, condition-based waiting, mocking strategy, and test isolation
Writing Skills
ed3dai/ed3d-plugins
A skill your agent uses when creating new skills, editing existing skills, or verifying skills work before deployment - applies TDD to process documentation by testing with subagents before writing…
Coding Effectively
ed3dai/ed3d-plugins
ALWAYS use this skill when writing or refactoring code. An agent skill from ed3dai/ed3d-plugins.
Related
Categories
Questions about Property Based Testing
What does Property Based Testing do?
A skill your agent uses when writing tests for serialization, validation, normalization, or pure functions - provides property catalog, pattern detection, and library reference for property-based…. Property Based Testing is an agent skill from ed3dai/ed3d-plugins.
When should I use Property Based Testing?
Property Based Testing fits situations like: writing tests for serialization; pure functions - provides property catalog; pattern detection; library reference for property-based testing.
How do I install Property Based Testing in Claude Code?
Run `npx skills add ed3dai/ed3d-plugins --skill property-based-testing -a claude-code`. Or copy the skill folder (plugins/ed3d-house-style/skills/property-based-testing in ed3dai/ed3d-plugins) into .claude/skills/property-based-testing in your project. Claude Code loads it when a task matches its description.
How do I install Property Based Testing in Codex?
Run `npx skills add ed3dai/ed3d-plugins --skill property-based-testing -a codex`. Or copy the skill folder (plugins/ed3d-house-style/skills/property-based-testing in ed3dai/ed3d-plugins) into .agents/skills/property-based-testing in your project. Codex loads it when a task matches its description.
Can I use Property Based Testing in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add ed3dai/ed3d-plugins --skill property-based-testing -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/property-based-testing, .gemini/skills/property-based-testing, .github/skills/property-based-testing and .opencode/skills/property-based-testing in your project.
What does Property Based Testing need to run?
SKILL.md names no scripts, command-line tools or credentials: Property Based Testing is instructions for the agent only. Our summary lists: Python 3.
Does Property Based Testing access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Property Based Testing safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Property Based Testing use?
No licence was found for Property Based Testing or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.
How many tokens does Property Based Testing use?
About 1.3k tokens (SKILL.md is roughly 5.3k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Property Based Testing?
Skills that share tags, products or a category with Property Based Testing: SQL Optimization Patterns (ynulihao/AgentSkillOS, 617 stars), Add Mpk Task (mirage-project/mirage, 2.5k stars), Datamodellm (nimbalyst/nimbalyst, 1.9k stars) and B200 Flash Attention4 Planner (mirage-project/mirage, 2.5k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Property Based Testing?
ed3dai (a GitHub organization) maintains it in ed3dai/ed3d-plugins, which has 250 GitHub stars. The repository holds 34 skills in this directory. The repository was last updated on September 6, 2026.
Source: ed3dai/ed3d-plugins on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.