Agent Skills: tla-plus-expert
TLA+ formal specification expert for writing specs, model checking, and applying formal methods to amplihack workflows
UncategorizedID: rysweet/amplihack/tla-plus-expert
Install this agent skill to your local
Skill Files
Browse the full folder contents for tla-plus-expert.
Loading file tree…
Select a file to preview its contents.