← all publishers

ddaanet

@ddaanet source repo

5 published skills

  1. Proof · ddaanet bundle
    This 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.
    1 install
  2. Ground · ddaanet bundle
    Ground 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.
    1 install
  3. Formalize · ddaanet
    Verify 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.
    1 install
  4. Requirements · ddaanet bundle
    Capture 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.
    1 install
  5. Deliverable Review · ddaanet bundle
    Review 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.
    1 install