adversarial-review
codexSend independent adversaries to break a change or design, keep only findings proven by a run, and report them without changing the code.
1 skill · 1 command
1
codex
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, 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 "is the model still true to the code", or after merges and refactors that touched verified code without rechecking it.
Plugin maintain-formal-verification-skill in petalas/skills. Commands read from the repo's manifest — 12 days ago.
What it installs
Skills (1)
maintain-formal-verification-skillBring 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. Us
Slash commands (1)
/maintain-formal-verification-skill:maintain-formal-verification-skill
More from petalas/skills
All 63 plugins →architect
codexDesign non-trivial code from caller usage, types, signatures, and module boundaries before implementation, then implement against the chosen sketch when requested.
1 skill · 1 command
1
arena
codexGenerate several independent candidates for the same non-trivial artifact, judge them against a concrete rubric, and synthesize one verified result.
1 skill · 1 command
1
auditable-run
codexDesign and execute an evidence-driven local workflow for a large task when no focused playbook fits.
1 skill · 1 command
1
automate-me
codexCreate or update a personal mode skill from the user's stated preferences and workspace-scoped conversation history.
1 skill · 1 command
1
benchmark-checklist
codexVet a perf measurement (limiter, tuning, limits, errors, repeatability, relevance, and whether the work happened) before you report or act on it. Use when you run a benchmark or report a speedup or regression you measured.
1 skill · 1 command
1
Similar plugins
mattpocock-skills
claudeMatt Pocock's agent skills for real engineering (grilling, spec/ticket flows, TDD, code review, domain modelling and more).
39 skills
mattpocock/skills 323,108
superpowers
claudecodexCore skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
obra/superpowers 316,836
claude-mem
claudecodexPersistent memory for Claude Code: the next session starts where the last one left off.
29 skills · 1 MCP server · hooks
thedotmack/claude-mem 116,618
career-ops
claudecodexOpen-source AI job search that runs locally in your AI coding CLI: scan job portals, evaluate listings into a structured A-H report with a 1-5 score, tailor your CV, track applications
5 skills · hooks
career-ops-hq/career-ops 82,253
mem0
claudecodexCross-session memory and token savings for coding agents.
6 skills · 1 agent · 1 MCP server · hooks
mem0ai/mem0 68,893
context7
claudecodexUp-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.
1 MCP server
upstash/context7 64,709
Maintain maintain-formal-verification-skill?
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.
claude & codex plugins63 plugins