Strengthens existing tests and claims using property-based testing and mutation analysis.
npx skills add https://github.com/ruban-s/DevOS --skill hardening-ruban-s
Please help me install this Agent Skill. Skill: Hardening Source: https://github.com/ruban-s/DevOS/tree/main/skills/Hardening Command: npx skills add https://github.com/ruban-s/DevOS --skill hardening-ruban-s
bun-property rows in the ISA Test Strategy table, complementing example-based bun-test rows. - Use Case: Ask to property-test a slug parser, and the Skill writes round-trip and idempotence properties with 1000 runs, pins the seed on failure, and records the resulting ISC rows. ## Quick Start Ask the agent to property-test the slug parser and add the resulting properties as bun-property rows in the test strategy.High-intent search queries and answers about installing and using this skill.
Property-based tests with fast-check use fc.assert with fc.property, combining generators like fc.record or fc.string with a predicate. Set numRuns to 1000 by default, and pin the seed in a comment when a failure shrinks to a counterexample.
Pure deterministic functions are the candidates: parser and serializer pairs for round-trip properties, normalizers for idempotency, multi-argument functions for commutativity, and state machines for invariant preservation. Side-effecting code must be mocked or have its pure core extracted first.
Mutation testing is currently a stub workflow, so kill-rate numbers cannot be promised yet. Only the PropertyTest workflow is built and ready; CrapAnalysis, DryAnalysis, and AcceptanceTestMutation are also planned stubs.
Spurious failures come from under-constrained generators producing inputs the function never promised to accept, while over-constrained generators hide real bugs. Constrain generators exactly to the function's actual valid input domain.
Skip property testing for non-deterministic functions involving disk, network, or clock unless side effects are mocked. It is also not for writing new feature tests, grading agent output quality, UI verification, or finding security vulnerabilities.
inference-simScan project code, tests, and documentation to formulate testable hypotheses.
danielmiesslerStrengthens existing tests and ISCs using property-based testing with fast-check.
potatsukkiIdentify and fix security vulnerabilities in the RMV System via ethical hacking.
sc30gswSelect verification tools and generate proof harnesses for Rust, Python, and TypeScript code.