Tinyfish
sundial-org/awesome-openclaw-skills
Use TinyFish/Mino web agent to extract/scrape websites, extract data, and automate browser actions using natural language.
自然言語の要件を事前条件・事後条件・不変条件・失敗保証とcondition単位の保証責任・契約テストへ変換するときに使う。UI入力検証だけ、一般テスト追加、業務実装全体には使わない。
No licenceAuto-check passed
Install Mino Design By Contract
$ npx skills add my-take-dev/inspired-mino-design-skills --skill mino-design-by-contract -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install my-take-dev/inspired-mino-design-skills mino-design-by-contract --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/my-take-dev/inspired-mino-design-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.agents/skills/mino-design-by-contract .claude/skills/mino-design-by-contract && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "mino-design-by-contract" agent skill from https://github.com/my-take-dev/inspired-mino-design-skills/tree/main/.agents/skills/mino-design-by-contract into .claude/skills/mino-design-by-contract/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mino-design-by-contract", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/my-take-dev/inspired-mino-design-skills/tree/main/.agents/skills/mino-design-by-contractType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add my-take-dev/inspired-mino-design-skills --skill mino-design-by-contract -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install my-take-dev/inspired-mino-design-skills mino-design-by-contract --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/my-take-dev/inspired-mino-design-skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.agents/skills/mino-design-by-contract .agents/skills/mino-design-by-contract && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "mino-design-by-contract" agent skill from https://github.com/my-take-dev/inspired-mino-design-skills/tree/main/.agents/skills/mino-design-by-contract into .agents/skills/mino-design-by-contract/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mino-design-by-contract", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add my-take-dev/inspired-mino-design-skills --skill mino-design-by-contract -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install my-take-dev/inspired-mino-design-skills mino-design-by-contract --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/my-take-dev/inspired-mino-design-skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.agents/skills/mino-design-by-contract .cursor/skills/mino-design-by-contract && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "mino-design-by-contract" agent skill from https://github.com/my-take-dev/inspired-mino-design-skills/tree/main/.agents/skills/mino-design-by-contract into .cursor/skills/mino-design-by-contract/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mino-design-by-contract", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/my-take-dev/inspired-mino-design-skills.git --path .agents/skills/mino-design-by-contract--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add my-take-dev/inspired-mino-design-skills --skill mino-design-by-contract -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install my-take-dev/inspired-mino-design-skills mino-design-by-contract --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/my-take-dev/inspired-mino-design-skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.agents/skills/mino-design-by-contract .gemini/skills/mino-design-by-contract && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "mino-design-by-contract" agent skill from https://github.com/my-take-dev/inspired-mino-design-skills/tree/main/.agents/skills/mino-design-by-contract into .gemini/skills/mino-design-by-contract/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mino-design-by-contract", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install my-take-dev/inspired-mino-design-skills mino-design-by-contractInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add my-take-dev/inspired-mino-design-skills --skill mino-design-by-contract -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/my-take-dev/inspired-mino-design-skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/.agents/skills/mino-design-by-contract .github/skills/mino-design-by-contract && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "mino-design-by-contract" agent skill from https://github.com/my-take-dev/inspired-mino-design-skills/tree/main/.agents/skills/mino-design-by-contract into .github/skills/mino-design-by-contract/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mino-design-by-contract", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add my-take-dev/inspired-mino-design-skills --skill mino-design-by-contract -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install my-take-dev/inspired-mino-design-skills mino-design-by-contract --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/my-take-dev/inspired-mino-design-skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.agents/skills/mino-design-by-contract .opencode/skills/mino-design-by-contract && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "mino-design-by-contract" agent skill from https://github.com/my-take-dev/inspired-mino-design-skills/tree/main/.agents/skills/mino-design-by-contract into .opencode/skills/mino-design-by-contract/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "mino-design-by-contract", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
mino-design-by-contract- GitHub stars
- 342
- Token cost
- ~593 tokens
- SKILL.md length
- 56 words
- Files
- 3
- Skills in repo
- 7
- Repo updated
- First seen
- Licence
- None found
At a glance
自然言語の要件を事前条件・事後条件・不変条件・失敗保証とcondition単位の保証責任・契約テストへ変換するときに使う。UI入力検証だけ、一般テスト追加、業務実装全体には使わない。
- Works in 7 steps: 要件、model、既存契約、code/test、obligationを使い、変更を… → 公開operationのcontract_ownerと、各conditionを保証… → preはcallerの呼出条件、postは成功時保証、invariantは有効mo… → …
- SKILL.md covers Outcome Contract, Reference Routing, Workflow and Hard Gates, plus 1 more section
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Mino Design By Contract is an agent skill from my-take-dev/inspired-mino-design-skills. 自然言語の要件を事前条件・事後条件・不変条件・失敗保証とcondition単位の保証責任・契約テストへ変換するときに使う。UI入力検証だけ、一般テスト追加、業務実装全体には使わない。
Its SKILL.md is about 590 tokens, which your agent loads only when the skill is triggered. The skill folder holds 4 other files (for example `agents/openai.yaml` and `schemas/package.md`).
The repository describes itself as: ミノ駆動氏のWebに掲載されている資料から作成した開発スキル.
Example prompts
- “/mino-design-by-contract”
Workflow steps
7 steps, taken from the first numbered list in SKILL.md.
- 要件、model、既存契約、code/test、obligationを使い、変更をmust-preserve / intentional-change / unknownへ分ける。未提供の全artifactを着手条件にせず、確定できる契約と未決を分ける。
- 公開operationのcontract_ownerと、各conditionを保証するauthoritative ownerを区別する。一つの観測可能なconditionに一つのCI IDを付ける。
- preはcallerの呼出条件、postは成功時保証、invariantは有効modelで常時成立する条件、environmentは外部・clock・OS条件、failure_guaranteeは失敗後のdomain/persisted…
- 各条件をrequired / not_applicable / unknownへ分ける。requiredはstatement、level、authority、一意なauthoritative…
- business/technical failure、外部成功/内部失敗、順序逆転、並行更新、cancel、timeout、曖昧結果をscopeに合わせて扱う。失敗後に何が残るか、retry可否、duplicate結果、idempotencyを個別判定する。operationご…
- testのverifiesを実在するrequired CIへ接続する。境界直前/値/直後、禁止遷移、失敗後不変、該当するretry/concurrencyをoracleで識別する。既存testを再利用でき、一つのtestが複数CIを検証してよい。
- 要件coverage、required CIの定義充足、oracle付きtestの設計coverage、required platformでの実行成功を別に数える。未知CIを別に保持し、比率だけで充足を宣言しない。designはplanned / not_runとする。
What it can do on your machine
Read from SKILL.md and the folder at commit 2ea1f4d. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Mino Design By Contract loads about 593 tokens when it runs. Until then it costs about 29 tokens; SKILL.md has 56 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
Without a licence we can't republish the file, so here is its outline and opening line. It has 56 words (~593 tokens).
“要件を観測可能な条件、条件ごとの保証責任、失敗後状態、誤実装を識別できる契約testへ変換する。implementationは依頼された契約testを作成・実行する。 正本packageのrootはcontract_package。 対応mode: design, review, implementation。”
- name
- mino-design-by-contract
Files
SKILL.md and 2 other files in .agents/skills/mino-design-by-contract of my-take-dev/inspired-mino-design-skills.
- SKILL.md
- agents/openai.yaml
- schemas/package.md
Open the folder on GitHubat commit 2ea1f4d
Compare with similar skills
Mino Design By Contract next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Mino Design By Contract this skillmy-take-dev/inspired-mino-design-skills | 342 | — | ~593 | Automated safety check: Pass | None | |
| Tinyfishsundial-org/awesome-openclaw-skills | 663 | — | ~761 | Automated safety check: Pass | None | |
| Mino Coremy-take-dev/inspired-mino-design-skills | 342 | — | ~313 | Automated safety check: Pass | None | |
| Mino Reproducible Developmentmy-take-dev/inspired-mino-design-skills | 342 | — | ~661 | Automated safety check: Pass | None | |
| Mino Problem Framingmy-take-dev/inspired-mino-design-skills | 342 | — | ~450 | Automated safety check: Pass | None | |
| Mino Architecture Quality Strategymy-take-dev/inspired-mino-design-skills | 342 | — | ~733 | Automated safety check: Pass | None |
Similar skills
Mino Core
my-take-dev/inspired-mino-design-skills
関連設計SkillからEvidence・承認・共通判定・要件追跡を共有するときに使う内部基盤。単独の公開依頼、専門設計全体、小規模な機械変更には使わない。
Mino Reproducible Development
my-take-dev/inspired-mino-design-skills
二つ以上の専門成果物、または要件から実装・review・検証へのend-to-end traceを統合するときに使うrouter。単一の設計成果物、公開意味に触れない小規模機械変更には使わない。
Mino Problem Framing
my-take-dev/inspired-mino-design-skills
技術案先行、曖昧な要件、用語・前提・目的・成功条件の不一致を整理し、Problem FrameとContext Packetを作るときに使う。専門契約、モデル設計、実装全体、承認済みの機械変更には使わない。
Mino Architecture Quality Strategy
my-take-dev/inspired-mino-design-skills
複数module、system-wideな品質trade-off、data authority、target/transition、migration/recoveryをproduct valueから設計・監査するときに使う。局所class改善、流行技術の選定、単一契約抽出には使わない。
Mino Domain Model Completeness
my-take-dev/inspired-mino-design-skills
固定したユースケースで用語・概念・値制約・状態・遷移・失敗・時間・writer/reader・authorityの欠落を監査するときに使う。世界全体のモデル化、図だけ、一般DDD解説、単なるデータ項目一覧には使わない。
More from my-take-dev/inspired-mino-design-skills
All 7 skills in this repoMino Interface Implementation Separation
my-take-dev/inspired-mino-design-skills
consumerが知る目的・操作・契約と内部技術・手順を分け、技術漏出、caller分岐、責務境界と変更局所性を設計・監査するときに使う。if削減、interface量産、全体architectureの選定には使わない。
Questions about Mino Design By Contract
What does Mino Design By Contract do?
自然言語の要件を事前条件・事後条件・不変条件・失敗保証とcondition単位の保証責任・契約テストへ変換するときに使う。UI入力検証だけ、一般テスト追加、業務実装全体には使わない。. Mino Design By Contract is an agent skill from my-take-dev/inspired-mino-design-skills.
How do I install Mino Design By Contract in Claude Code?
Run `npx skills add my-take-dev/inspired-mino-design-skills --skill mino-design-by-contract -a claude-code`. Or copy the skill folder (.agents/skills/mino-design-by-contract in my-take-dev/inspired-mino-design-skills) into .claude/skills/mino-design-by-contract in your project. Claude Code loads it when a task matches its description.
How do I install Mino Design By Contract in Codex?
Run `npx skills add my-take-dev/inspired-mino-design-skills --skill mino-design-by-contract -a codex`. Or copy the skill folder (.agents/skills/mino-design-by-contract in my-take-dev/inspired-mino-design-skills) into .agents/skills/mino-design-by-contract in your project. Codex loads it when a task matches its description.
Can I use Mino Design By Contract in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add my-take-dev/inspired-mino-design-skills --skill mino-design-by-contract -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/mino-design-by-contract, .gemini/skills/mino-design-by-contract, .github/skills/mino-design-by-contract and .opencode/skills/mino-design-by-contract in your project.
What does Mino Design By Contract need to run?
SKILL.md names no scripts, command-line tools or credentials: Mino Design By Contract is instructions for the agent only.
Does Mino Design By Contract access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Mino Design By Contract safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Mino Design By Contract use?
No licence was found for Mino Design By Contract or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.
How many tokens does Mino Design By Contract use?
About 593 tokens (SKILL.md is roughly 2.4k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Mino Design By Contract?
Skills that share tags, products or a category with Mino Design By Contract: Tinyfish (sundial-org/awesome-openclaw-skills, 663 stars), Mino Core (my-take-dev/inspired-mino-design-skills, 342 stars), Mino Reproducible Development (my-take-dev/inspired-mino-design-skills, 342 stars) and Mino Problem Framing (my-take-dev/inspired-mino-design-skills, 342 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Mino Design By Contract?
my-take-dev (a GitHub user) maintains it in my-take-dev/inspired-mino-design-skills, which has 342 GitHub stars. The repository holds 7 skills in this directory. The repository was last updated on September 17, 2026.
Source: my-take-dev/inspired-mino-design-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.