ymm-oss/fsl

AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.

21Stars on the repository
26Mods indexed here, across every type
5d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown

fsl AGENTS.md

01

ymm-oss/fsl

Instructions file CodexOpenCode

Instructions for ymm-oss/fsl, covering repository guidelines, project and authority, project structure, build and verification commands and correctness invariants.

21 5d ago A 3,287 tokens original Apache-2.0

fsl CLAUDE.md

02

ymm-oss/fsl

Instructions file

Instructions for ymm-oss/fsl, covering claude code instructions, sources of truth, starting or resuming work, implementation policy and verification and review.

21 5d ago A 615 tokens original Apache-2.0