Agent skill · rysweet

tla-plus-expert

TLA+ formal specification expert for writing specs, model checking, and applying formal methods to amplihack workflows

Reference it in any coding agent with:

@skills rysweet/tla-plus-expert--e72564