ymm-oss

ymm-oss/fsl

Skill Claude CodeCodex

Reconcile tasks/active.md with Git, changed files, and observed verification before compaction, clearing, or handoff.

ymm-oss/fsl

Skill Claude CodeCodex

Create or refresh the verified, resumable task packet in tasks/active.md before substantial FSL repository work.

ymm-oss/fsl

Agent Claude Code

Use for broad read-only exploration, execution-path tracing, dependency mapping, and locating the authoritative Rust implementation. Returns compact file-grounded evidence rather than raw search output.

ymm-oss/fsl

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.

ymm-oss/fsl

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.

ymm-oss/fsl

Agent Claude Code

Use when Rust, parity, browser, or compatibility test output is verbose or ambiguous. Isolates the first causal failure, reproduces it narrowly, and returns a compact evidence report without editing source.

ymm-oss/fsl

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.

ymm-oss/fsl

Hook Claude Code

Runs when a session starts, executing session_context.py via python3. From ymm-oss/fsl.

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.

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.

ymm-oss/fsl

Settings file Claude Code

Agent settings declaring 3 hook events (SessionStart, PreToolUse, PostToolUse).

ymm-oss/fsl

Skill Claude CodeCodex

Scaffold and verify a new native Rust FSL language feature while keeping syntax, lowering, symbolic/concrete semantics, docs, skill reference, tests, and changelog coupled.

ymm-oss/fsl

Skill Claude CodeCodex

Author a new or substantially changed .fsl spec and take it through native check, bounded verification, induction where relevant, mutation, and vacuity evidence before completion.

ymm-oss/fsl

Skill Claude CodeCodex

Independently review a pull request that resolves an issue. Reconstructs the issue contract from repository evidence, dispatches the specialized FSL reviewer agents in parallel, audits the diff for green-faking, reproduces verification claims, and delivers a severity-ranked verdict without merging.

ymm-oss/fsl

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.

ymm-oss/fsl

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.

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.

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.

ymm-oss/fsl

Skill Claude CodeCodex

Write and verify FSL business-layer specs for consultants, business owners, and PMs explicitly working on business-flow policy. Use for As-Is/To-Be process flows, actors, case stages, business policies, controls, KPIs, goals, and reform/control-preservation checks. Do not use for system requirements, UI/API/data-model…

ymm-oss/fsl

Skill Claude CodeCodex

Orchestrate an FSL-centered delivery workflow from business planning through PM requirements, engineering design, verification, refinement, scenarios, testgen/replay, and implementation conformance. Use when the user asks to drive a feature/project "from planning to implementation" with FSL as the backbone, connect…

ymm-oss/fsl

Skill Claude CodeCodex

A procedure for design exploration and design review using FSL. Mechanically check with fslc refine whether a design proposal, variant, extension, or change breaks a stable contract (the abstract spec), and report the result in the vocabulary of design principles (SOLID — the Open/Closed Principle, the Liskov…

ymm-oss/fsl

Skill Claude CodeCodex

Write and verify FSL design-layer specs for engineers from an agreed requirements contract. Use for internal state/action design, decomposition, queues/outboxes, compose, refinement mappings to requirements, typestate checks, scenarios-to-testgen handoff, and implementation-conformance planning. Do not use for PM…

ymm-oss/fsl

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…

ymm-oss/fsl

Skill Claude CodeCodex

Generate, edit, and re-verify a human-readable requirements document (Markdown) from a checked FSL requirements/spec dialect file, using fslc document generate/claims/check. The agent is a non-normative editor and review-support assistant, never a compiler — it may only fill in the document's editable slot…