ddaanet
- 5 skills
- 0 followers
- 1 week ago last updated
- ▌ Proof · ddaanet bundleThis skill should be used when an artifact needs structured user validation. Triggers on "proof", "validate artifact", "review loop", or when an artifact needs a careful item-by-item read before it ships. Replaces ad-hoc single-turn validation with item-by-item review protocol.
- ▌ Ground · ddaanet bundleGround claims with external research before asserting methodology. Triggers on "ground", "create a scoring system", "design a methodology", "build a framework", or "synthesize best practices". Parallel diverge-converge research preventing confabulated structures.
- ▌ Formalize · ddaanetVerify a Python function against its intended behavior by writing an icontract contract and checking it with `edify check` (CrossHair), repairing in a loop. Triggers on "formalize", "verify this function", "add a contract and check it", or after writing a function whose correctness matters. The in-context agent holds intent and asks the user when behavior is ambiguous; CrossHair owns the deduction.
- ▌ Requirements · ddaanet bundleCapture and document requirements for implementation. Triggers on "capture requirements", "document requirements", "what do I want to build", or feature discussions without clear documentation. Produces requirements.md artifact for design and planning phases.
- ▌ Deliverable Review · ddaanet bundleReview production artifacts after plan execution. Triggers on "review deliverables", "deliverable review", "artifact review", or after completing plan execution. Two-layer review (delegated per-file + interactive cross-project) producing severity-classified report grounded in ISO 25010 / IEEE 1012.