agentmods.dev

formal-specification skills

9 tagged formal-specification, measured the same way as everything else here.

Browse within: LLM 16bounded-model-checking 16formal-methods 16model-checking 16

Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 9 mods

fsl

01

ymm-oss/fsl

Skill Claude CodeCodex

Shared FSL language and verifier reference for writing, checking, verifying, repairing, explaining, mutating, refining, replaying, generating scenarios/test scaffolds, and interpreting fslc JSON results. Use directly for FSL syntax, kernel specs, verifier errors, repair loops, and command usage. For role-specific…

not rated 33 changed today A SkillSpector: pass 128 tokens original Apache-2.0

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: