Generate and execute test suites from formal properties and acceptance criteria.
npx skills add https://github.com/sam-fakhreddine/wfc --skill wfc-test
Please help me install this Agent Skill. Skill: wfc-test Source: https://github.com/sam-fakhreddine/wfc/tree/main/wfc/skills/wfc-test Command: npx skills add https://github.com/sam-fakhreddine/wfc --skill wfc-test
This Skill automates the creation of comprehensive test suites, ensuring code quality and reliability by generating tests from formal properties and requirements.
Use the wfc-test skill to generate and run tests for the current project.
High-intent search queries and answers about installing and using this skill.
You can generate unit tests from formal properties by defining safety, liveness, and invariant conditions, which the Skill uses to automatically create and execute comprehensive test suites for your project.
Property-based testing verifies code invariants by generating test cases that check whether safety and liveness properties hold true across a wide range of inputs, ensuring robust quality assurance and reliable code coverage.
Automate test case generation from requirements by defining your acceptance criteria in a TASKS.md file, which the Skill parses to automatically create requirement-based tests and execute them against your codebase.
Yes, this Skill executes generated property-based and requirement-based test suites, then analyzes the results to report on test coverage gaps within your software development workflow.
For a new authentication module, define security invariants and login/logout acceptance criteria, then use the Skill to generate and run property-based tests that verify these flows and ensure robust coverage.
The Skill operates with no external dependencies, using internal scripts to generate and execute test suites directly from your defined properties and acceptance criteria without requiring specific testing frameworks.
aziglerConvert scoped briefs and baselines into structured specification beads with test cases.
dorrioExecute all defined test suites and generate code coverage reports.
rajitsahaDetect and execute unit, integration, and system tests across platforms and languages.
forranyEnforce test-driven development workflows requiring tests before code across unit, integration, and E2E suites with minimum 80% coverage targets.
