Enforce SpeQ specification rules for AI code generation sessions.
npx skills add https://github.com/speq-ai/speq --skill speq-skill
Please help me install this Agent Skill. Skill: speq_skill Source: https://github.com/speq-ai/speq/tree/main Command: npx skills add https://github.com/speq-ai/speq --skill speq-skill
SpeQ SKILL provides a behavioral contract that an AI must follow when operating on a SpeQ specification, ensuring consistent interpretation and zero room for ambiguity.
Load this SKILL alongside your .speq file and complete the session-start steps before generating any code.
High-intent search queries and answers about installing and using this skill.
To enforce consistent AI behavior with specifications, you apply a behavioral contract that internalizes VOCABULARY, CONTRACTS, and CLASSIFY blocks before code generation. This eliminates interpretation ambiguities and ensures reproducible outputs.
The closed-world assumption in AI code generation restricts the model to explicitly defined specification data, rejecting undefined elements. Enforcing this immutability ensures reproducible outputs and prevents unauthorized structural deviations across sessions.
To start an AI session using a SpeQ specification, load the behavioral skill alongside your spec file and complete the documented session-start steps. You must internalize the specification blocks before generating any code.
AI assistants generate inconsistent code from the same specification due to interpretation ambiguities. Applying a strict behavioral contract enforces immutability and a closed-world principle, aligning the model's outputs across multiple sessions.
Yes, you must define and internalize VOCABULARY and CONTRACTS before generating code from a spec. This sequence ensures the AI understands the domain language and rules, producing reproducible and accurate outputs.
Yes, you can use behavioral contracts to align AI agents across different models. By enforcing a closed-world principle, immutability, and strict session-start governance, the specification yields consistent outputs regardless of the underlying model.
avelikiyApply retail domain vocabulary and data models to product specifications.
wade56754Govern five-phase specification-driven development from Constitution to Implement.
Soul-Brews-StudioRun isolated self-improving AI development loops across Claude Code sessions.
gountharProve Move smart contract properties with Move Prover and MSL.
