3 tagged model-checking, measured the same way as everything else here.
Instructions file CodexOpenCode
Instructions for ymm-oss/fsl, covering repository guidelines, project and authority, project structure, build and verification commands and correctness invariants.
Instructions file
Instructions for ymm-oss/fsl, covering claude code instructions, sources of truth, starting or resuming work, implementation policy and verification and review.
Instructions file CodexOpenCode
Instructions for liuyingxuvka/FlowGuard, covering flowguard project rules and skillguard author maintenance.