ZhangHanDongZhangHanDongCommunityยท3 Agent Skills Included

agent-spec

Contract-driven coding with verifiable specs and requirement tracing

Converts PRDs and issues into governed requirements, then compiles them into verifiable task contracts for coding agents. Replaces slow manual diff review with deterministic lint, boundary, and test verification against each contract. Traces every requirement to passing specs, estimates effort, and keeps project knowledge live as code changes.
npx skills add ZhangHanDong/agent-spec --all -g -y
Available:

Instructs the agent on the full agent-spec CLI workflow, including when to run contract, lifecycle, guard, requirements, wiki, and atlas commands during contract-driven coding.

All Skills in This Repository (3)

Pure Emerald Level Indicators

Frequently Asked Questions

FAQPage Schema
How to install agent-spec?โ–ผ

Run `npx skills add ZhangHanDong/agent-spec --all -g -y` in your terminal to install all skills in this suite globally.

What problem does agent-spec solve?โ–ผ

It shifts human review from reading large code diffs to writing short, precise task contracts. The machine then deterministically verifies that the code satisfies each contract.

How do I turn a PRD into verifiable tasks?โ–ผ

The intent-compiler skill drafts candidate requirements from your PRD, a human accepts them, and the CLI lowers them into executable task contracts with test bindings.

Does agent-spec work with Claude Code and Codex?โ–ผ

Yes. It ships skills for Claude Code plus an AGENTS.md guide for Codex, and can generate integration files for Cursor and other tools.

Can I estimate effort from a task contract?โ–ผ

Yes. The estimate skill reads a contract's scenarios, decisions, and boundaries to produce a round-based effort estimate and sprint capacity plan.

Related Repositories in Software Engineering

View All in Software Engineeringโ†’