Agent Skills by Zhiting Zhu
Showing 6 vetted skills indexed across 1 GitHub repositories.
photoszzttla-model-checking
Guide TLA+ model checking with TLC configuration and debugging.
Community
Advanced
photoszzttla-debug-violations
Debug TLA+ invariant and property violations reported by the TLC model checker.
Community
Advanced
photoszzttla-create-animations
Create SVG animations visualizing TLA+ state transitions and model checking results.
Community
Intermediate
photoszzttla-spec-review
Review TLA+ specifications against a checklist for correctness and TLC validation.
Community
Intermediate
photoszzttla-getting-started
Introduce TLA+ core concepts and guide creating a Counter specification.
Community
Basic
photoszzttla-refinement-proofs
Verify TLA+ specification refinement using TLC model checking.
Community
Intermediate