security
claudecodexSecurity workflows for Claude Code and Codex — repository and diff scans, deep multi-pass scans, threat modelling, validation, attack-path analysis, triage, remediation, and reporting against a sealed scan contract.
13 skills
0
claudecodex
reasoning-semiformally
Apply semi-formal certificate reasoning to code analysis — patch verification, fault localization, patch equivalence. Use when reviewing patches, hunting bugs across scopes, comparing fixes, or when code reasoning requires tracing execution across files/modules.
/
Plugin reasoning-semiformally from marketplace skills in antstanley/skills. Commands read from the repo's manifest — 1 month ago.
What it installs
Skills (1)
reasoning-semiformallyApply semi-formal certificate reasoning to code analysis — patch verification, fault localization, patch equivalence. Use when reviewing patches, hunting bugs across scopes, comparing fixes, tracing execution across files/modules, analyzing name shadowing or scope resolution, or checking for regress
More from antstanley/skills
All 6 plugins →spec-creator
claudecodexCreate or expand formal design specifications for an app, package, or codebase — numbered, layered, cross-linked markdown that defines what exists in the current branch. Includes development guidelines and design guidelines with greenfield discovery and existing-project adoption. Head of the spec-creator → spec-planner → spec-builder pipeline; its specs feed spec-planner.
4 skills
0
spec-builder
claudecodexImplement a spec-planner plan — build each task in an isolated jj/git workspace, gate it through a semi-formal correctness review and a definition-of-done validation, then merge. Self-contained (workspace isolation vendored); parallel by default (max 4 agents) or sequential. Consumes a spec-planner plan folder; produces merged, reviewed, validated code.
3 skills
0
spec-planner
claudecodexPlan the implementation of a specification — decompose a spec into a dependency-ordered graph of reviewable task packages, each with a definition of done and a task-specific semi-formal done certificate. Consumes a spec-creator spec (or any spec); produces a kanban plan folder that spec-builder builds.
2 skills
0
jj-workspaces
claudecodexjj (jujutsu) workspaces skill for Claude Code and Codex — creates isolated workspaces for parallel work and sub-agent driven development, and intercepts git-worktree requests in jj-managed repos.
1 skill
0
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
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
cli-anything
claudeBuild powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.
5 commands
HKUDS/CLI-Anything 58,665
chrome-devtools-mcp
claudeReliable automation, in-depth debugging, and performance analysis in Chrome using Chrome DevTools and Puppeteer
8 skills · 1 MCP server
ChromeDevTools/chrome-devtools-mcp 55,181
agent-browser
claudeAutomates browser interactions for web testing, form filling, screenshots, and data extraction
12 skills
vercel-labs/agent-browser 50,373
Maintain reasoning-semiformally?
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 plugins6 plugins