maintain-formal-verification-skill
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…
Skill by Dimon94
Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/dimon94-maintain-formal-verification-skill
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions: not checked yet.
What's inside
- Skill name
maintain-formal-verification-skill- Description
- 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.
- License
- unknown
- Instructions
- 54 lines in SKILL.md · view on GitHub
Files (1)
- SKILL.md
The license isn't open source, so the instructions aren't shown here. Read SKILL.md on GitHub
More from Dimon94/skills
- 0.771score
git-commit
Dimon94
Create narrow auditable local commits.
SkillAFreshness: A★ 107Claude Code +9 - 0.771score
git-push-pr
Dimon94
Push a verified branch and create or update exactly one GitHub pull request.
SkillAFreshness: A★ 107Claude Code +9 - 0.770score
epic-planner
Dimon94
为模糊的史诗需求启动或续接战略寻路。先建立目标、迷雾与 Issue 决策票，通过内部调研、外部研究、原型和拷问厘清战略，之后形成多地图 epic-plan。
SkillAFreshness: A★ 107Claude Code +9 - 0.770score
sync-upstream-skills
Dimon94
检查或更新本仓精选的第三方套件 Skill 快照。用于核对上游变化、刷新快照或处理同步漂移；只读检查可直接运行，写入更新必须由用户明确要求。
SkillAFreshness: A★ 107Claude Code +9 - 0.770score
vertical-slicing
Dimon94
把大 spec、地图或单张票切成能逐片合入、部署、体验的垂直切片，或审查现有拆票是否垂直。用于用户显式调用 /vertical-slicing 或 $vertical-slicing。
SkillAFreshness: A★ 107Claude Code +9 - 0.768score
gh-merge-pr
Dimon94
审查并在独立授权后合并一个 GitHub PR。用于单 PR 的 current-head SubAgent Review、按证据调用专项 Review、落地与 parity readback；裸分支或缺失 PR 转交 git-push-pr。
SkillAFreshness: A★ 107Claude Code +9 - 0.764score
investigate
Dimon94
只读调研本仓代码与历史，产出带引用的解释或方案推荐。用于「调研 / investigate」「搞清楚 X」「A 还是 B」「确定吗」类请求；机制走 how，动机叠加 why，不改代码。
SkillAFreshness: A★ 107Claude Code +9 - 0.764score
no-comments
Dimon94
清理无用注释，保留必要的外部约束与公开合同，并从根因消除注释掩盖的绕路代码。用于用户显式调用 /no-comments 或 $no-comments。
SkillAFreshness: A★ 107Claude Code +9 - 0.731score
productionize-app-with-services
Dimon94
Productize a working prototype by adding a bounded set of explicitly requested operational or product services.
SkillBFreshness: B★ 107Claude Code +9 - 0.727score
postmortem
Dimon94
Recall or record confirmed reusable failure lessons.
SkillBFreshness: B★ 107Claude Code +9 - 0.725score
git-rebase-main
Dimon94
Land a finished branch on local main with linear history — commit pending work, commit main's own dirt first, rebase onto main, fast-forward main.
SkillBFreshness: B★ 107Claude Code +9 - 0.725score
do-not-repeat-yourself
Dimon94
Find and reuse the nearest correct mechanism before adding another.
SkillBFreshness: B★ 107Claude Code +9
Signals
- Stars
- 107
- Forks
- 21
- Open issues
- 11
- Last commit (this folder)
- Oct 19, 2026 (10 days ago)
- Last release
- Jul 14, 2026 (3 months ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- License unknown
- Repository
- github.com/Dimon94/skills
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
Same skill elsewhere
Copies of this SKILL.md published by others; search shows only one of them.
- 0.764score
maintain-formal-verification-skill
backnotprop
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…
SkillAFreshness: A★ 2.7KClaude Code +9 - 0.387score
maintain-formal-verification-skill
jiangkoumo
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…
SkillAFreshness: A★ 27Claude Code +9 - 0.384score
maintain-formal-verification-skill
TheOnlyFusionCube
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…
SkillAFreshness: A★ 16Claude Code +9 - 0.364score
maintain-formal-verification-skill
creedants
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…
SkillAFreshness: A★ 15Claude Code +9 - 0.362score
maintain-formal-verification-skill
Jrecos
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…
SkillAFreshness: A★ 3Claude Code +9 - 0.352score
maintain-formal-verification-skill
acidghost
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…
SkillAFreshness: A★ 1Claude Code +9 - 0.352score
maintain-formal-verification-skill
plicjo
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…
SkillAFreshness: A★ 1Claude Code +9 - 0.352score
maintain-formal-verification-skill
alexhatzo
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…
SkillAFreshness: A★ 1Claude Code +9 - 0.339score
maintain-formal-verification-skill
yabasha
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…
SkillAFreshness: AClaude Code +9 - 0.339score
maintain-formal-verification-skill
chinlung
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…
SkillAFreshness: AClaude Code +9 - 0.339score
maintain-formal-verification-skill
fitchmultz
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…
SkillAFreshness: AClaude Code +9 - 0.339score
maintain-formal-verification-skill
masrurimz
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…
SkillAFreshness: AClaude Code +9
More from Dimon94
- 0.771score
git-commit
Dimon94
Create narrow auditable local commits.
SkillAFreshness: A★ 107Claude Code +9 - 0.771score
git-push-pr
Dimon94
Push a verified branch and create or update exactly one GitHub pull request.
SkillAFreshness: A★ 107Claude Code +9 - 0.770score
sync-upstream-skills
Dimon94
检查或更新本仓精选的第三方套件 Skill 快照。用于核对上游变化、刷新快照或处理同步漂移；只读检查可直接运行，写入更新必须由用户明确要求。
SkillAFreshness: A★ 107Claude Code +9 - 0.770score
vertical-slicing
Dimon94
把大 spec、地图或单张票切成能逐片合入、部署、体验的垂直切片，或审查现有拆票是否垂直。用于用户显式调用 /vertical-slicing 或 $vertical-slicing。
SkillAFreshness: A★ 107Claude Code +9 - 0.770score
epic-planner
Dimon94
为模糊的史诗需求启动或续接战略寻路。先建立目标、迷雾与 Issue 决策票，通过内部调研、外部研究、原型和拷问厘清战略，之后形成多地图 epic-plan。
SkillAFreshness: A★ 107Claude Code +9 - 0.768score
gh-merge-pr
Dimon94
审查并在独立授权后合并一个 GitHub PR。用于单 PR 的 current-head SubAgent Review、按证据调用专项 Review、落地与 parity readback；裸分支或缺失 PR 转交 git-push-pr。
SkillAFreshness: A★ 107Claude Code +9
Cite this page
maintain-formal-verification-skill. Agent Mart. https://agentmart.dev/skills/dimon94-maintain-formal-verification-skill (last updated 2026-10-24)