26 tagged formal-specification, measured the same way as everything else here.
Agent Claude Code
Use PROACTIVELY after changing Rust FSL syntax, lowering, semantics, CLI commands, public Kernel contracts, or corpus specs. Reports missing coupled code, tests, docs, skills, generated artifacts, and changelog updates. Read-only.
Agent Claude Code
Use PROACTIVELY after changing Rust core/runtime/verifier/solver/refinement semantics. Audits symbolic BMC versus the solver-independent Monitor/BFS, false-negative risk, dependency boundaries, and cross-implementation evidence. Read-only on source; may run focused tests.
Agent Claude Code
Use PROACTIVELY after adding or changing a .fsl spec under specs/ or examples/. Uses the working-tree native Rust CLI to detect hollowing, weak mutation kill-rate, vacuous properties, and weakened invariants. Read-only on specs; may run verifier commands.
Hook Claude Code
Runs when a session starts, executing session_context.py via python3. From ymm-oss/fsl.
Hook Claude Code
Runs before the agent uses a tool for Edit and Write tool calls, executing snapshot_guard.py via python3. From ymm-oss/fsl.
Hook Claude Code
Runs after a tool call finishes for Write tool calls, executing spdx_guard.py via python3. From ymm-oss/fsl.
Settings file Claude Code
Agent settings declaring 3 hook events (SessionStart, PreToolUse, PostToolUse).
Skill Claude CodeCodex
Operate FSL's GitLab Flow-inspired lifecycle from short-lived branches through main and production to an exact vX.Y.Z release tag. Use when adopting the branch flow, integrating post-merge quality improvements, promoting a release, cutting a release, or handling a production hotfix.
MCP server Claude CodeCodexCursor +2
Gives the agent up-to-date documentation and code examples for libraries and frameworks, fetched on demand so answers are not stuck at the model's training cutoff. Runs locally from the @upstash/context7-mcp npm package.
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.
Skill Claude CodeCodex
Reverse-engineer an FSL design-layer spec from existing source code. Scope the stateful subsystem, harvest state/actions/guards/effects with source-line witnesses, surface invariants and forbidden flows as confirmation questions (never fabricated), then verify, mutation-test for hollowness, and prove conformance by…
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…
At most 3 mods per repository are shown here — the rest are on their repository pages: