Agent skill
property-test
Generate property-based tests with FsCheck or fast-check
Install this agent skill to your Project
npx add-skill https://github.com/majiayu000/claude-skill-registry/tree/main/skills/other/other/property-test
SKILL.md
Property-Based Testing
Generate property-based tests that verify invariants across random inputs.
For .NET (FsCheck)
dotnet add package FsCheck.Xunit
[Property]
public Property Score_AlwaysBetween0And1(double[] weights)
{
var score = MatchingService.CalculateScore(weights);
return (score >= 0.0 && score <= 1.0).ToProperty();
}
For TypeScript (fast-check)
npm install --save-dev fast-check
fc.assert(fc.property(fc.array(fc.double()), (weights) => {
const score = calculateScore(weights);
return score >= 0 && score <= 1;
}));
Arguments
<target-class>: Class or module to test--framework=<fscheck|fast-check>: Testing framework
Recommended Agent Skills
Expand your agent's capabilities with these related and highly-rated skills.
majiayu000/claude-skill-registry
agent-ops-spec
Manage specification documents in .agent/specs/. Use when user provides requirements, acceptance criteria, or feature descriptions that need to be tracked and validated against implementation.
majiayu000/claude-skill-registry
agent-ops-state
Maintain .agent state files. Use at session start, after meaningful steps, and before concluding: read/update constitution/memory/focus/issues/baseline consistently.
majiayu000/claude-skill-registry
agent-ops-spec
Manage specification documents in .agent/specs/. Use when user provides requirements, acceptance criteria, or feature descriptions that need to be tracked and validated against implementation.
majiayu000/claude-skill-registry
agent-ops-testing
Test strategy, execution, and coverage analysis. Use when designing tests, running test suites, or analyzing test results beyond baseline checks.
majiayu000/claude-skill-registry
agent-ops-testing
Test strategy, execution, and coverage analysis. Use when designing tests, running test suites, or analyzing test results beyond baseline checks.
majiayu000/claude-skill-registry
agent-ops-state
Maintain .agent state files. Use at session start, after meaningful steps, and before concluding: read/update constitution/memory/focus/issues/baseline consistently.
Didn't find tool you were looking for?