Menu
Use when generating a task list from an implementation plan, with checkboxes and review tasks.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Use when encountering "potential witness-value disclosure" compiler errors, implementing commit-reveal patterns, working with persistentCommit/transientCommit vs persistentHash/transientHash, or designing privacy-preserving circuits with proper witness protection.
Use when asking about zero-knowledge proofs, ZK SNARKs, circuit compilation, witness data, prover/verifier roles, constraints, or how Midnight uses ZK for privacy.
Use when subscribing to real-time blockchain events, setting up WebSocket connections, monitoring contract state changes, building live dashboards, or implementing push notifications from Midnight.
Use when querying the Midnight indexer for blockchain data, fetching account balances, listing transactions, reading contract state, or building data-driven DApp backends.
Use when caching ZK proofs for performance, implementing proof cache invalidation, storing verification results, caching intermediate proof components, or building distributed proof caches with Redis.
Use when generating ZK proofs server-side, building proof-as-a-service backends, offloading proof computation from clients, creating proof generation queues, or implementing async proof generation.
| name | dapp-sdd:tasks |
| description | Use when generating a task list from an implementation plan, with checkboxes and review tasks. |
Generates a dependency-ordered task list from the implementation plan.
.dapp-sdd/plan.md - The phased implementation plan.dapp-sdd/spec.md - The specification (for reference)A task list saved to .dapp-sdd/tasks.md with:
# {DApp Name} Tasks
## Phase 1: Project Setup
- [ ] T001 Verify create-mn-app scaffold is complete
- [ ] T002 Configure ESLint with strict rules
- [ ] T003 Configure Prettier for formatting
- [ ] T004 Verify TypeScript strict mode enabled
- [ ] T005 Add `.dapp-sdd/` to `.gitignore`
- [ ] T006 [REVIEW] Run phase 1 code reviews
## Phase 2: Contract Implementation
- [ ] T007 Create contract skeleton `contracts/{name}.compact`
- [ ] T008 Define ledger state variables
- [ ] T009 Implement circuit `{circuit_name}`
- [ ] T010 Add witness functions
- [ ] T011 Verify contract compiles: `compact compile`
- [ ] T012 [REVIEW] Run phase 2 code reviews
## Phase 3: TypeScript Integration
- [ ] T013 Create deployment script `src/deploy.ts`
- [ ] T014 Create CLI interface `src/cli.ts`
- [ ] T015 Configure providers in `src/providers/`
- [ ] T016 Verify TypeScript compiles: `tsc --noEmit`
- [ ] T017 [REVIEW] Run phase 3 code reviews
## Phase 4: Testing
- [ ] T018 Write contract unit tests
- [ ] T019 Write integration tests
- [ ] T020 Verify all tests pass: `npm test`
- [ ] T021 [REVIEW] Run phase 4 code reviews
## Phase 5: Documentation & Polish
- [ ] T022 Update README with usage instructions
- [ ] T023 Add educational comments to contract
- [ ] T024 Add educational comments to TypeScript
- [ ] T025 Final code cleanup
- [ ] T026 [REVIEW] Run final code reviews
- [ ] T027 [COMPLETE] Post completion summary to PR
| Prefix | Meaning |
|---|---|
| (none) | Regular implementation task |
[REVIEW] | Review gate - run both reviewers |
[COMPLETE] | Final task - post to PR and mark ready |
.dapp-sdd/plan.md.dapp-sdd/tasks.mdWhen executing tasks:
git-lovely:useful-commits for commit messages