agentmods.dev

property-based-testing

Guidance for property-based testing across programming languages and smart contracts. Property-based testing checks general rules against many generated inputs instead of only a few hand-written examples.

In plain words
What is it for?
Use it when designing property-based tests for software or smart-contract code.
Why use it?
It helps find unexpected edge cases that example-based tests may miss.

Plugin for Claude Code

2 3d ago A scan tokens not measured CC-BY-SA-4.0
View the source file Fodhol/skills
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Claude Code
/plugin marketplace add Fodhol/skills
agentmods
npx agentmods add plugins/fodhol/skills/property-based-testing
Clone the repo
git clone --depth 1 https://github.com/Fodhol/skills

Made for: Claude Code.

Per session not measured What this adds to a session before it is invoked.
When invoked not measured Not applicable: nothing here is loaded into a session.
Security scan A 0 findings. Scan, not verified.
Origin unknown No closer match found in the catalogue.
Security

Grade A, and why

property-based-testing scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured yesterday.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

plugins/property-based-testing/.claude-plugin/plugin.json · 10 lines

The source is not reproduced here

Licensed CC-BY-SA-4.0

The repository is licensed CC-BY-SA-4.0, which this catalogue does not treat as permission to reproduce the file. Read it at the source.

Read it on GitHub

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. yesterday First seen · 10 lines scan A be838b67004a

Subscribe to this mod's changes

property-based-testing is a plugin published in the GitHub repository Fodhol/skills (2 stars, last pushed 3d ago), licensed CC-BY-SA-4.0. Its token cost is not measured: this kind of file is read by the harness, not the model. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.

FrontendTestingagent-skillsai-agentsantigravitycodexcodingchallengescss
Related

Other plugins, from other repositories

agent-teams

Orchestrate multi-agent teams for parallel code review, hypothesis-driven debugging, and coordinated feature development using Claude Code's Agent Teams.

wshobson/agents · not measured

alloydb-omni-marketplace

Plugin marketplace listing 1 plugin: alloydb-omni.

gemini-cli-extensions/alloydb-omni · not measured

dumb-boss

The anti-sycophant agent skill. An agent that pushes back on a bad instruction instead of complying, without turning into a contrarian.

kg1128/dumb-boss · not measured

mas-desktop-ops

MAS Desktop Ops - Major AI Skills specialized plugin.

alivirgo/Major-AI-Skills · not measured

nextjs

Official Next.js skills: adopt and optimize Cache Components, adopt Partial Prefetching, and verify runtime behavior against a running dev server.

vercel/next.js · not measured

nextjs

Official Claude Code plugin marketplace for Next.js, serving the skills that ship in the vercel/next.js repository.

vercel/next.js · not measured