dia-adjudicateRule on reports about a target using evidence, without rewriting the target. Use only when the message starts with dia-adjudicate, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-conjectureTest a universal claim using counterexamples and user-directed repairs. Use only when the message starts with dia-conjecture, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-counterplanConstruct a counterplan from contrary assumptions using the same evidence. Use only when the message starts with dia-counterplan, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-elenchusExamine a definition through classical Socratic dialogue and agreed premises. Use only when the message starts with dia-elenchus, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-emendReview a draft once and correct confirmed defects while marking uncertainty. Use only when the message starts with dia-emend, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-negativeCritique a claim or practice against its own stated standard. Use only when the message starts with dia-negative, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-quaestioUse modern Socratic questions to develop an idea into options and a plan. Use only when the message starts with dia-quaestio, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-ratchetRevise through repeated rounds using external checks and locked results. Use only when the message starts with dia-ratchet, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-reductioTest a thesis by deriving a strict contradiction from stated premises. Use only when the message starts with dia-reductio, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-regulaWrite or review instructions for models against four rules. Use only when the message starts with dia-regula, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-routerShort entry point to the dia skills. Shows a numbered menu, runs the skill picked by its menu number or its name, or picks the dia skill that fits a request. Use only when the first word of the message is dia on its own ("dia", "dia 4 ...", "dia reductio ...", or "dia" followed by a request), or whe
dia-skoposConfirm the user's goal, assumptions and open decisions before work. Use only when the message starts with dia-skopos, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-techneDeepen and execute a task using expert methods and outside checks. Use only when the message starts with dia-techne, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.
dia-warrantExamine how well reasons support a defeasible conclusion. Use only when the message starts with dia-warrant, when the skill is invoked by name, or when dia-router selects it; a request that only sounds like this is not an invocation.