agentmods.dev

formal-methods skills

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

Browse within: LLM 23claude-code-plugin 22bounded-model-checking 16formal-specification 16model-checking 16ai-coding 15contract-testing 15design-by-contract 15computer-algebra 10mcp-server 10theorem-proving 10ai-agent-tools 7behaviour-driven-development 7invariants 7

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: