New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Formal Methods Drift Guard

by mizchi in mizchi/skills

Use after a formal model or verifier check already exists and the user wants to maintain it over time.

No licenceAuto-check passed

Install Formal Methods Drift Guard

skills CLI
$ npx skills add mizchi/skills --skill formal-methods-drift-guard -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install mizchi/skills formal-methods-drift-guard --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/mizchi/skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/formal-methods-drift-guard .claude/skills/formal-methods-drift-guard && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
formal-methods-drift-guard
GitHub stars
360
Token cost
~2.2k tokens
SKILL.md length
1,115 words
Files
24 (incl. references)
Skills in repo
69
Repo updated
First seen
Licence
None found

At a glance

Use after a formal model or verifier check already exists and the user wants to maintain it over time.

  • Works in 7 steps: Build the triplet inventory. → Map each claim across the three surfaces. → Run the cheapest drift checks first. → …
  • SKILL.md covers Core Rule, Workflow, Output Contract and Reporting Discipline, plus 1 more section
  • Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md

What it does

Formal Methods Drift Guard is an agent skill from mizchi/skills. Use after a formal model or verifier check already exists and the user wants to maintain it over time. Helps Codex compare specs/docs, implementation code/tests/config/logs, and formal models or CI checks for drift; classify whether the drift is in the spec, code, model abstraction, harness, or unresolved domain decision; run or plan verifier checks; and translate SAT/UNSAT changes, counterexample traces, proof failures, stale models, and CI results into domain-language review questions and ledger entries.

Its SKILL.md is about 2.2k tokens, which your agent loads only when the skill is triggered. The skill folder holds 28 other files, including reference files (for example `README.md`, `SKILL-ja.md` and `agents/openai.yaml`).

The repository describes itself as: Agent skills by mizchi, distributed via APM.

Example prompts

  • “/formal-methods-drift-guard”

Workflow steps

7 steps, taken from the first numbered list in SKILL.md.

  1. Build the triplet inventory.
  2. Map each claim across the three surfaces.
  3. Run the cheapest drift checks first.
  4. Classify drift before fixing.
  5. Translate machine output to domain wording.
  6. Decide the fix target with the owner.
  7. Lock the maintenance loop.

What it can do on your machine

Read from SKILL.md and the folder at commit 62f5808. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    No scripts in the folder and no shell commands in SKILL.md.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Formal Methods Drift Guard loads about 2.2k tokens when it runs, and up to ~3.2k if it reads all its reference files. Until then it costs about 135 tokens; SKILL.md has 1,115 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~135
When it runs · the whole SKILL.md, loaded when a task matches
~2.2k
With references · SKILL.md plus every file in references/, read only if the agent opens them
~3.2k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

Without a licence we can't republish the file, so here is its outline and opening line. It has 1,115 words (~2,176 tokens).

“Use this skill when a team already has a model/check and now needs to keep spec -> code -> model aligned as the product changes.”

— opening of SKILL.md by mizchi
name
formal-methods-drift-guard

Read the full SKILL.md on GitHub

Files

SKILL.md and 23 other files (references) in formal-methods-drift-guard of mizchi/skills.

  • SKILL.md
  • README.md
  • SKILL-ja.md
  • agents/openai.yaml
  • evals/eval.yaml
  • evals/fixtures/harness-drift/ci-new.log
  • evals/fixtures/harness-drift/ci-old.log
  • evals/fixtures/harness-drift/model.txt
  • evals/fixtures/harness-drift/parser.txt
  • evals/fixtures/harness-drift/spec.md
  • evals/fixtures/incident-trace/docs.md
  • evals/fixtures/incident-trace/incident-trace.log
  • evals/fixtures/incident-trace/model.p
  • evals/fixtures/incident-trace/previous-ci.log
  • evals/holdout.yaml
  • evals/holdouts
  • … and 8 more

Open the folder on GitHubat commit 62f5808

Compare with similar skills

Formal Methods Drift Guard next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Formal Methods Drift Guard compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Formal Methods Drift Guard this skillmizchi/skills360—~2.2kAutomated safety check: PassNone
Verifyasgeirtj/system_prompts_leaks69k—~3kAutomated safety check: PassCC0-1.0
Safety Guardaffaan-m/ECC276k2 repos~554Automated safety check: NotesMIT
Verify Before CompletionYeachan-Heo/oh-my-claudecode40k—~277Automated safety check: PassMIT
Verify Thiscursor/plugins11k2 repos~693Automated safety check: PassNone
Verify Releaseopenclaw/openclaw392k—~2.4kAutomated safety check: PassMIT

Similar skills

  • Verify

    asgeirtj/system_prompts_leaks

    Verify that a code change actually does what it's supposed to by exercising it end-to-end and observing behavior — drive the affected flow, not just tests or typecheck.

    69k GitHub stars~3k tokensUpdated today
    Testing & QAAuto-check passed

  • Safety Guard

    affaan-m/ECC

    Guard against destructive operations with three modes: Careful intercepts dangerous commands (rm -rf, git push --force, DROP TABLE) for confirmation, Freeze locks writes to one directory, and Guard…

    276k GitHub starsUsed in 2 repos~554 tokens
    DevelopmentAuto-check: notes

  • Verify Before Completion

    Yeachan-Heo/oh-my-claudecode

    Has the agent prove that a feature, fix or refactor works, using existing tests first, then narrow commands and manual checks, and report only what was actually verified.

    40k GitHub stars~277 tokensUpdated 2 days ago
    Agent WorkflowsAuto-check passed

  • Verify This

    cursor/plugins

    Official

    Verify a claim with fresh local evidence: restate it falsifiably, capture baseline and treatment, compare artifacts, and return VERIFIED, NOT VERIFIED, or INCONCLUSIVE.

    11k GitHub starsUsed in 2 repos~693 tokens
    Auto-check passed

  • Verify Release

    openclaw/openclaw

    Verify regular or extended-stable OpenClaw releases against the exact publication surfaces, workflow identities, package provenance, smoke tests, and live Gateway behavior expected for that release…

    392k GitHub stars~2.4k tokensUpdated today
    Testing & QAAuto-check passed

  • Guard Mode

    garrytan/gstack

    Switches on full safety by combining warnings before destructive commands with a block on edits outside one directory you choose, for work on production or live systems.

    136k GitHub stars~1k tokensUpdated yesterday
    Agent WorkflowsAuto-check: notes

More from mizchi/skills

All 69 skills in this repo

  • Publish Agent Skill

    mizchi/skills

    Package, publish, verify and update an agent skill through a Claude Code plugin marketplace, APM or the npx skills CLI.

    360 GitHub stars~1.7k tokensUpdated 8 days ago
    Auto-check passed

  • AI Index

    mizchi/skills

    Method and tooling for measuring how AI-generated a piece of prose reads, in Japanese or English.

    360 GitHub stars~3.6k tokensUpdated 8 days ago
    Auto-check passed

  • Cloudflare Deploy

    mizchi/skills

    Deploy applications and infrastructure to Cloudflare with the cf CLI and typed cloudflare.config.ts.

    360 GitHub stars~2.9k tokensUpdated 8 days ago
    Auto-check: notes

  • Review Image

    mizchi/skills

    Review screenshots or other images with OpenRouter vision models via bundled Deno scripts.

    360 GitHub stars~1.3k tokensUpdated 8 days ago
    Auto-check passed

  • Sqlc Gen Moonbit Safety

    mizchi/skills

    Post-generation safety checks for sqlc-gen-moonbit + Cloudflare D1.

    360 GitHub stars~995 tokensUpdated 8 days ago
    Auto-check passed

  • Apm Usage

    mizchi/skills

    Reference for APM (Agent Package Manager) — apm.yml syntax, install / uninstall / update commands, target detection, lockfile workflow.

    360 GitHub stars~1.9k tokensUpdated 8 days ago
    Auto-check passed

Questions about Formal Methods Drift Guard

What does Formal Methods Drift Guard do?

Use after a formal model or verifier check already exists and the user wants to maintain it over time. Formal Methods Drift Guard is an agent skill from mizchi/skills. Use after a formal model or verifier check already exists and the user wants to maintain it over time.

How do I install Formal Methods Drift Guard in Claude Code?

Run `npx skills add mizchi/skills --skill formal-methods-drift-guard -a claude-code`. Or copy the skill folder (formal-methods-drift-guard in mizchi/skills) into .claude/skills/formal-methods-drift-guard in your project. Claude Code loads it when a task matches its description.

How do I install Formal Methods Drift Guard in Codex?

Run `npx skills add mizchi/skills --skill formal-methods-drift-guard -a codex`. Or copy the skill folder (formal-methods-drift-guard in mizchi/skills) into .agents/skills/formal-methods-drift-guard in your project. Codex loads it when a task matches its description.

Can I use Formal Methods Drift Guard in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add mizchi/skills --skill formal-methods-drift-guard -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/formal-methods-drift-guard, .gemini/skills/formal-methods-drift-guard, .github/skills/formal-methods-drift-guard and .opencode/skills/formal-methods-drift-guard in your project.

What does Formal Methods Drift Guard need to run?

SKILL.md names no scripts, command-line tools or credentials: Formal Methods Drift Guard is instructions for the agent only.

Does Formal Methods Drift Guard access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Formal Methods Drift Guard safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Formal Methods Drift Guard use?

No licence was found for Formal Methods Drift Guard or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.

How many tokens does Formal Methods Drift Guard use?

About 2.2k tokens (SKILL.md is roughly 8.7k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 986 tokens, read only when the agent opens those files.

What are the alternatives to Formal Methods Drift Guard?

Skills that share tags, products or a category with Formal Methods Drift Guard: Verify (asgeirtj/system_prompts_leaks, 69k stars), Safety Guard (affaan-m/ECC, 276k stars), Verify Before Completion (Yeachan-Heo/oh-my-claudecode, 40k stars) and Verify This (cursor/plugins, 11k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Formal Methods Drift Guard?

mizchi (a GitHub user) maintains it in mizchi/skills, which has 360 GitHub stars. The repository holds 69 skills in this directory. The repository was last updated on October 2, 2026.

Source: mizchi/skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.