Skip to content
appsgit

Maintain Formal Verification Skill

Maintain Formal Verification Skill is an agent skill (a SKILL.md file) from michael-denyer/pstack-claude. Bring a project's formal verification back in line with the code after the code changes: find the commits that touched… It works with Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot and OpenCode and has 3,445 GitHub stars across a repository of 3 listed skills.

github.com/michael-denyer/pstack-claude/plugins/pstack/skills/maintain-formal-verification-skill (opens in a new tab)

Data as of from the GitHub API; description from the skill's SKILL.md. Report an error

View on GitHub (opens in a new tab)

Add this skill

Claude

This repository is a Claude Code plugin marketplace. In Claude Code:

/plugin marketplace add michael-denyer/pstack-claude
/plugin install pstack@pstack-claude

In the Claude apps, zip the maintain-formal-verification-skill folder and upload it under Customize > Skills > + > Upload a skill (code execution must be on).

ChatGPT / Codex

Codex reads skills from .agents/skills/ in a repo or ~/.agents/skills/ for every project:

git clone --depth 1 https://github.com/michael-denyer/pstack-claude.git
cp -r pstack-claude/plugins/pstack/skills/maintain-formal-verification-skill .agents/skills/maintain-formal-verification-skill   # repo; ~/.agents/skills for all projects

Standalone skills also load in the ChatGPT desktop app.

Cursor

Cursor loads skills from .cursor/skills/ (or ~/.cursor/skills/) and also reads .claude/skills/:

git clone --depth 1 https://github.com/michael-denyer/pstack-claude.git
cp -r pstack-claude/plugins/pstack/skills/maintain-formal-verification-skill .cursor/skills/maintain-formal-verification-skill   # project; ~/.cursor/skills for all projects

Source (checked Oct 7, 2026): code.claude.com/docs/en/skills (opens in a new tab), code.claude.com/docs/en/plugin-marketplaces (opens in a new tab), support.claude.com/en/articles/12512180-using-skills-in-claude (opens in a new tab), learn.chatgpt.com/docs/build-skills (opens in a new tab), cursor.com/docs/context/skills (opens in a new tab)

What this skill does

Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified code, update the model, harness, or properties to describe the code as it is now, rerun, and say whether each failure is drift in the verification or a bug in the code. Use for /maintain-formal-verification-skill, "is the model still true to the code", or after merges and refactors that touched verified code without rechecking it.

When it triggers

  • Use for /maintain-formal-verification-skill, "is the model still true to the code", or after merges and refactors that touched verified code without rechecking it.
  • "is the model still true to the code"

More skills in michael-denyer/pstack-claude

3 skills are listed from this repository.

Similar skills

More testing & qa skills

All Testing & QA

FAQ

Maintain Formal Verification Skill FAQ

Still curious? Email info@appsgit.com.

How do I install the Maintain Formal Verification Skill skill?

In Claude Code, run /plugin marketplace add michael-denyer/pstack-claude and then /plugin install pstack@pstack-claude. For Codex or Cursor, copy the maintain-formal-verification-skill folder into .agents/skills/ or .cursor/skills/.

Is the Maintain Formal Verification Skill skill free?

Yes. The repository is open source under the MIT license.

Is Maintain Formal Verification Skill maintained?

The repository's most recent commit was on Oct 22, 2026. Its latest release is v0.9.102. appsgit only lists skills from repositories with a commit in the last six months.