Browse published AI skills maintained by specula-org. Compare skill descriptions and follow each source repository for setup instructions.
Indexed skills
1Repository stars across indexed skills
84Repository forks
14Average repository stars per indexed skill
84Repository stars may repeat across skills from the same repository.
TLA+ Trace Validation workflow. Use when: (1) validating if a trace matches a TLA+ spec, (2) debugging trace validation failures (TLC reports 'Temporal properties were violated' or validation stops unexpectedly...
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.