Skills
.Work. You
Rest

wfc-test

Community

Generate tests from properties.

Software Engineering#testing#unit testing#code coverage#test generation#qa#property-based testing
Authorsam-fakhreddine
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill automates the creation of comprehensive test suites, ensuring code quality and reliability by generating tests from formal properties and requirements.

Core Features & Use Cases

  • Property-Based Testing: Generates tests that verify SAFETY, LIVENESS, and INVARIANT properties.
  • Requirement-Based Testing: Creates test cases directly from acceptance criteria defined in TASKS.md.
  • Test Execution & Coverage: Executes generated tests and reports on test coverage gaps.
  • Use Case: When implementing a new authentication module, use this Skill to generate property-based tests for security invariants and requirement-based tests for login/logout flows, ensuring robust coverage.

Quick Start

Use the wfc-test skill to generate and run tests for the current project.

Dependency Matrix

Required Modules

None required

Components

scriptsreferences

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: wfc-test
Download link: https://github.com/sam-fakhreddine/wfc/archive/main.zip#wfc-test

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.