skills.rest
reason-machines
reason-machinesOFFICIAL
Explore all skills by this author →
Website𝕏@reasonmachinesGitHub

mino-driven-design-skills

Applies Mino design principles to frame problems, audit domain models, and define contracts.

4|Updated May 16, 2026
Search Tags:#architecture#domain modeling#requirements#interface design#contract testing#problem framing#design by contract
One-click install
npx skills add https://github.com/reason-machines/design-skills --skill mino-driven-design-skills-reason-machines
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: mino-driven-design-skills
Source: https://github.com/reason-machines/design-skills/tree/main/skills/mino-driven-design-skills
Command: npx skills add https://github.com/reason-machines/design-skills --skill mino-driven-design-skills-reason-machines

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? Teams often jump from vague requirements straight to implementation, producing designs with missing concepts, untested assumptions, and blurred interface boundaries. This Skill enforces a disciplined design workflow that separates problems from solutions and converts requirements into verifiable contracts before code is written. ## Core Features & Use Cases - Problem Framing: Separates observations, assumptions, problem statements, objectives, and measurable success criteria before any design work begins. - Domain Model Completeness Audits: Checklists for missing concepts, states, constraints, failure modes, and authority rules in a use case. - Design by Contract: Converts natural language requirements into preconditions, postconditions, invariants, failure guarantees, and executable contract tests. - Interface/Implementation Separation: Eliminates caller-side branching by designing boundaries around caller intent rather than technical details. - Use Case: Before building a payment retry feature, use the Skill to produce a Problem Framing Package, a PaymentAttempt domain model audit, retry contracts with test oracles, and a review-ready implementation spec. ## Quick Start Ask the agent to apply mino-problem-framing to your feature request, for example: help me frame this problem before designing, users complain the report is slow.

Frequently Asked Questions about mino-driven-design-skills

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I convert requirements into design-by-contract tests?▼

Use the mino-design-by-contract skill to translate natural language requirements into preconditions, postconditions, invariants, and failure guarantees. It generates contract test oracles that verify each condition, including failure cases where no side effects should occur.

How do I check if my domain model is complete?▼

Run the mino-domain-model-completeness skill on your use case. It audits five dimensions: concept coverage, state coverage, constraint coverage, failure coverage, and authority coverage, producing a gap checklist of missing entities, states, rules, and permissions.

When should I use mino-reproducible-development versus a single design skill?▼

Use mino-reproducible-development only for medium-to-large changes requiring multiple design viewpoints through implementation and verification. For small, mechanical changes like renames with an approved baseline, the suite is unnecessary and a single skill suffices.

Does mino-driven-design-skills work on macOS?▼

Structural validation passes on macOS, but the fixture runner currently fails on the solver-nested-metadata portable rewrite. You can read and apply the design principles manually, or use Linux or WSL for automated validation until the macOS runner is fixed.

Why do my contract tests fail right after the design phase?▼

Contract test failures usually mean the implementation does not yet satisfy the contract, which is expected feedback. Verify preconditions in test setup, then fix the implementation rather than weakening the contract, unless stakeholders agree the contract is too strict.

What are the limitations of the mino design skill suite?▼

The suite adds overhead for trivial changes and is not meant for mechanical edits like renames. It also requires human ownership of final value judgments, public contracts, irreversible decisions, and release approval, so it does not fully automate design sign-off.

Related Skills

Explore More Software Engineering Skills→
The-Vibe-CompanyThe-Vibe-Company
2.4k

to-spec

Synthesizes conversation context into a structured spec published to the project issue tracker.

Official
Intermediate
queen-of-codequeen-of-code
8

agent-reviewer

Run CI checks and trace code against an approved Tech Spec.

Community
Advanced
Bbeierle12Bbeierle12
8

forms-router

Route web form tasks to specialized skills for React, Vue, or vanilla JavaScript.

Community
Basic
ormastesormastes

Documentation Writing Skill

Automate traceable documentation from requirements to executable BDD tests.

Community
Intermediate