Enforce Design by Contract with pre-conditions, post-conditions, and invariants.
npx skills add https://github.com/knowlet/skills --skill enforce-contract
Please help me install this Agent Skill. Skill: enforce-contract Source: https://github.com/knowlet/skills/tree/main/skills/enforce-contract Command: npx skills add https://github.com/knowlet/skills --skill enforce-contract
This Skill codifies Design by Contract to prevent AI hallucinations by defining pre-conditions, post-conditions, and invariants, and by validating code with contract-driven tests.
When implementing a new Use Case or method, invoke enforce-contract to define and validate pre/post conditions and invariants, then run contract checks during tests and commits.
High-intent search queries and answers about installing and using this skill.
Enforce pre-conditions and post-conditions by defining explicit contract annotations in Javadoc style, then validating inputs before execution and verifying post-state correctness after method completion. This prevents invalid states and catches logic errors early.
Design by Contract codifies expected behavior through pre-conditions, post-conditions, and invariants that methods must satisfy. It prevents AI hallucinations by forcing explicit, testable specifications before implementation rather than relying on implicit assumptions.
Write contract-driven tests by generating test cases directly from contract specifications, validating that pre-conditions gate entry, post-conditions hold on exit, and invariants remain true throughout execution. Automate checks for nulls, empty collections, positive numbers, and valid state transitions.
Apply Design by Contract when implementing new methods, drafting unit tests, or verifying AI-generated code. It's essential before pre-commit submission to ensure method contracts are explicit and machine-verifiable.
Yes. Overlay contract specifications onto existing unit tests by extracting implicit assumptions as explicit pre-conditions, post-conditions, and invariants, then validating them through automated checks during test execution and builds.
Enforce invariants that must remain true across all valid state transitions—such as collection non-emptiness, numeric bounds, or relationship consistency. Automated checks verify invariants hold before and after each method call.
apolosanGenerate System Operation Contracts from System Sequence Diagrams with OCL post-conditions.
u9401066Run Python pytest and Node.js npm test suites and generate structured reports.
screenfluentRun automated PHP test suites and static analysis after code changes.
ArabelaTsoGenerate ACSL formal annotations for C/C++ programs.
