claudecodex

spec-builder

Implement 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.

0 on GitHubby antstanleyv0.5.0updated 2 months agodevelopment
/

Plugin spec-builder from marketplace skills in antstanley/skills. Commands read from the repo's manifest — 1 month ago.

What it installs

Skills (3)

  • semi-formal-review

    Review an implemented change with a semi-formal certificate to decide whether it correctly and completely does what was asked without breaking what it touched. The mandatory correctness gate after a spec-builder task is implemented, run by an agent other than the one that wrote the code. Triggers on

  • spec-builder

    Implement a spec-planner plan by dispatching one sub-agent per task in its own isolated workspace (jj or git, jj preferred), gating every task through a semi-formal correctness review and a definition-of-done validation before it is merged and marked Done. Self-contained — workspace isolation is ven

  • validate-done-certificate

    Discharge a task's done certificate against its implementation — collect each obligation's named evidence, run its checks, set each status, trace regressions, and derive a DONE / PARTIAL / NOT_DONE verdict by the certificate's rubric. The completeness gate after a spec-builder task is reviewed; when

View source on GitHub

More from antstanley/skills

All 6 plugins →

security

claudecodex

Security 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

spec-creator

claudecodex

Create 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-planner

claudecodex

Plan 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

claudecodex

jj (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

reasoning-semiformally

claudecodex

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.

1 skill

0

Similar plugins

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

context7

claudecodex

Up-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

claude

Build powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.

5 commands

HKUDS/CLI-Anything 58,665

agent-browser

claude

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

vercel-labs/agent-browser 50,373

Open Code Review

codex

Use Alibaba Open Code Review from local Codex.

2 skills

alibaba/open-code-review 50,068

slidev

claude

Claude Code skill for creating and presenting Slidev slidedecks

1 skill

slidevjs/slidev 49,452

Maintain spec-builder?

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