# Maintain Formal Verification Skill (agent 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.

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.

## Key facts

| Fact | Value |
|---|---|
| Repository | https://github.com/michael-denyer/pstack-claude |
| Skill path | plugins/pstack/skills/maintain-formal-verification-skill/SKILL.md |
| Skill name | maintain-formal-verification-skill |
| GitHub stars | 3,445 |
| Installs on skills.sh | not listed |
| License | MIT |
| Skills in repo | 3 |
| Plugin marketplace | pstack-claude |
| Official | no |
| Works with | Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot, OpenCode |
| Category | Testing & QA |
| Last commit | Oct 22, 2026 |

## 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"

## Add this skill

### Claude Code

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

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

### ChatGPT / Codex

```sh
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
```

### Cursor

```sh
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
```

Sources (checked 2026-10-07): https://code.claude.com/docs/en/skills, https://support.claude.com/en/articles/12512180-using-skills-in-claude, https://learn.chatgpt.com/docs/build-skills, https://cursor.com/docs/context/skills

---

Canonical page: https://appsgit.com/skills/michael-denyer-maintain-formal-verification-skill
Source: appsgit (https://appsgit.com), the app store for github. Data from the GitHub API, refreshed daily.
Machine access: JSON API https://appsgit.com/api/v1/apps (OpenAPI: https://appsgit.com/openapi.json), MCP server https://mcp.appsgit.com/mcp, full index https://appsgit.com/llms-full.txt.