Derive mutation-validated surface tests from service invariants.
npx skills add https://github.com/thrawn01/claude-dotfiles --skill invariant-test
Please help me install this Agent Skill. Skill: invariant-test Source: https://github.com/thrawn01/claude-dotfiles/tree/main/skills/invariant-test Command: npx skills add https://github.com/thrawn01/claude-dotfiles --skill invariant-test
Derives surface tests from a service's stated invariants (ADRs, load-bearing doc comments) and proves they fail when invariants are violated.
Run invariant-test to derive surface tests from a service's invariants and validate them via mutation testing.
High-intent search queries and answers about installing and using this skill.
You can derive mutation-validated surface tests from stated invariants to reveal violations. This targets invariants that guard correctness under race and timing in concurrent systems.
Mutation-validated surface testing derives tests from service invariants and proves they fail when invariants are violated. It detects violations that other test suites miss in concurrent systems.
Yes, you can derive surface tests from invariants stated in ADRs and load-bearing doc comments. The workflow applies to concurrent systems described by these tech specs.
Run the invariant-test process to derive surface tests from service invariants and validate them via mutation testing. You need repository codebase access, ADRs, and the ability to run the test suite.
Yes, the process requires an observability surface to record results. It outputs a publishable invariant-test.html report alongside a phase-driven workflow including ledger and consequence derivation.
The process requires access to the repository codebase, ADRs or doc comments, and the ability to run a test suite with mutation validation. It targets invariants guarding correctness under race and timing conditions.
joestumpAnalyze a codebase to identify implicit architectural decisions and spec-worthy subsystems.
WalliieeClusters weekly incident reports into compound lessons and skill patches.
ucirelloReplace arbitrary timeouts with condition polling in automated tests.
wshaddixMeasure .NET test coverage with Coverlet and mutation testing with Stryker.NET.
