fsl: Agent for Claude Code

.claude/agents/fsl-vacuity-reviewer.md

fsl-vacuity-reviewer is an agent for Claude Code from ymm-oss/fsl. It costs 64 tokens per session (344 once invoked), scanned A, original, Apache-2.0.

A read-only reviewer for FSL specification files. It checks whether the rules meaningfully constrain behavior rather than being empty or trivially true.

In plain words
What is it for?
Use it after changing `.fsl` files to inspect diffs, run checks and verification, test mutations, and report whether the specification is meaningful.
Why use it?
A specification can pass basic checks while still saying very little; this review looks for weakened rules, unreachable conditions, and other signs of hollowing.

Agent for Claude Code

Written for Claude Code: installed under .claude/. Also seen: model in frontmatter.

This is ymm-oss/fsl's own configuration. It tells Claude Code how to work on fsl itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything fsl configures →

View source ↗ ymm-oss/fsl
Reuse

Borrowing it

Nothing to install: this file belongs to ymm-oss/fsl. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/ymm-oss/fsl/main/.claude/agents/fsl-vacuity-reviewer.md
Clone the repo
git clone --depth 1 https://github.com/ymm-oss/fsl

Made for: Claude Code.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for fsl-vacuity-reviewer

README.md
[![agentmods](https://agentmods.dev/badge/agents/ymm-oss/fsl/fsl-vacuity-reviewer.svg)](https://agentmods.dev/agents/ymm-oss/fsl/fsl-vacuity-reviewer)
Your own site
<a href="https://agentmods.dev/agents/ymm-oss/fsl/fsl-vacuity-reviewer"><img src="https://agentmods.dev/badge/agents/ymm-oss/fsl/fsl-vacuity-reviewer.svg" alt="Measured on agentmods" height="20"></a>
Per session 64 Only the description is in the session, so the agent can decide to use it. The body loads when it is invoked.
When invoked 344 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00064 $0.00344
Opus 5 $0.00032 $0.00172
Sonnet 5 $0.00013 $0.00069
Haiku 4.5 $0.00006 $0.00034

Measured 8d ago against content hash e1b7f0c5a5d3, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-08, from the pricing page.

Security

Grade A, and why

fsl-vacuity-reviewer scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 8d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

.claude/agents/fsl-vacuity-reviewer.md · 28 lines

What it actually says

Review changed FSL specs for meaningful constraints. Use the authoritative native command prefix:

cargo run --manifest-path rust/Cargo.toml -p fslc-rust --bin fslc --
  1. Find changed .fsl files under specs/ and examples/ and inspect their diffs.
  2. Look for hollowing: removed conjuncts, loosened bounds, broader guards, unreachable premises, frozen ghost state, or a property converted into a tautology.
  3. Run native check and the appropriate bounded verify command.
  4. Run native mutate and report mutation evidence. Treat a very low kill-rate as a warning requiring explanation, not as a magic universal threshold.
  5. Run native verify <spec> --vacuity error where supported and distinguish that result from mutation evidence.
  6. Use induction when the changed claim is intended to be unbounded.

For each file, report exact commands, outcomes, the suspicious declaration or diff hunk, and a verdict: meaningful, uncertain, or looks hollow. Recommend strengthening modeled behavior, never weakening the property to obtain green output. Do not edit specs.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 8d ago First seen · 28 lines · 64 tokens per session scan A e1b7f0c5a5d3

Subscribe to this mod's changes

fsl-vacuity-reviewer is an agent published in the GitHub repository ymm-oss/fsl (23 stars, last pushed today), licensed Apache-2.0. It adds 64 tokens to every session and 344 once invoked, about $0.0003 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

Other agents, from other repositories

python-pro

Python 3.13 language expert for the ClosedLoop plugin monorepo. Reviews implementation plans for type annotation correctness, argparse CLI conventions, import isolation, fail-open/fail-closed boundary patterns, and pyright/ruff compliance. Produces type-patterns.md in legacy mode.

closedloop-ai/claude-plugins · 60 tokens

python-script-reviewer

Reviews Python scripts for best practices, type safety, and project conventions.

closedloop-ai/claude-plugins · 19 tokens

python-reviewer

A Python code-review role focused on readability, standard Python style, type annotations, security, error handling, and performance.

xu-xiang/everything-claude-code-zh · 63 tokens

agent-sdk-verifier-py

Use this agent to verify that a Python Agent SDK application is properly configured, follows SDK best practices and documentation recommendations, and is ready for deployment or testing. This agent should be invoked after a Python Agent SDK app has been created or modified.

anthropics/claude-plugins-official · 55 tokens

python-reviewer

Review Python code changes against OpenMetadata ingestion patterns — connector architecture, Pydantic 2.x models, pytest conventions, and schema-first design.

open-metadata/OpenMetadata · 32 tokens

codedna-reviewer

CodeDNA compliance reviewer. Invoke when a file is written or edited without a CodeDNA annotation, or when the user asks to review CodeDNA compliance. Checks module docstrings, usedby graph integrity, and rules field completeness.

Larens94/codedna · 50 tokens