Explorez les skills IA publiés de specula-org et consultez leurs instructions source.
Skills indexés
1Étoiles des dépôts des skills indexés
84Forks du dépôt
14Moyenne des étoiles par skill indexé
84Les étoiles d’un dépôt peuvent se répéter entre ses skills.
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...
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.