--- name: sdd:spec description: Create formal specifications directly from clear requirements --- Use the `sdd:spec` skill to create a formal specification directly from the user's clear requirements.