map-invariants
CommunityMap invariants to tests and annotate with [INV-*]
Authorjamesaphoenix
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Auto-annotates spec and invariant gaps by linking tests to invariants and inserting [INV-*] tags or @spec markers, reducing manual traceability and improving test coverage.
Core Features & Use Cases
- Map uncovered invariants to existing tests by analyzing test bodies and source code structure.
- Annotate tests with [INV-*] tags or add @spec markers to enforce traceability.
- Generate skeletons for MISSING invariants and assist in stepwise re-discovery workflow in tx.
Quick Start
Run tx spec gaps --doc $ARGUMENTS to identify gaps, then map each invariant to existing tests or add @spec annotations, and generate missing test skeletons if needed.
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: map-invariants Download link: https://github.com/jamesaphoenix/tx/archive/main.zip#map-invariants 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 471,000+ vetted skills library on demand.