invariant-test
CommunityTurn invariants into red-ready tests.
Software Engineering#adr#concurrency#reliability#invariants#test-automation#mutation-testing#surface-testing
Authorthrawn01
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Derives surface tests from a service's stated invariants (ADRs, load-bearing doc comments) and proves they fail when invariants are violated.
Core Features & Use Cases
- Mutation-validated test generation from invariants to detect violations that other suites miss
- Phase-driven workflow including ledger, consequence derivation, and mutation validation
- Surface-testing oriented outputs with a publishable invariant-test.html report
Quick Start
Run invariant-test to derive surface tests from a service's invariants and validate them via mutation testing.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 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: invariant-test Download link: https://github.com/thrawn01/claude-dotfiles/archive/main.zip#invariant-test Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.