‹ The Index

Generate DB Schema

skill

VDM-SL仕様の型・不変条件・状態定義からデータベーススキーマ(DDL)を導出する。 「仕様からDBスキーマを生成して」「テーブル設計をして」「DDLを作って」 「不変条件をDB制約に変換して」「データモデルを設計して」「ER図のもとになる スキーマを作って」といったリクエストに使用する。 English triggers: "generate a database schema from the spec", "derive tables from the VDM spec", "turn invariants into DB constraints", "design the data model". record型→テーブル、map→キー付きテーブル、不変条件→CHECK/UNIQUE/FK/トリガーの 規則的な写像を適用し、DDLで表現しきれない乖離は DEVIATIONS.md(retrenchment表)に、 各不変条件の担保箇所は TRACEABILITY.md に記録する。

Works with: Claude Code (native)  ·  Cursor, Codex CLI (manual)
native: this artifact type is that client's own format

Category: Data & Analytics — see all ranked ›

Install (Claude Code):

cp -r generate-db-schema ~/.claude/skills/

Security audit

Not scanned yet. We audit npm-published capabilities for known advisories, install-time scripts and permission surface; this one has no npm package we can resolve, or has not reached the queue.

Its own instructions

Its SKILL.md says when to use it and shows worked examples.

Read from the capability’s own SKILL.md. This is not a grade and does not compare to the instruction-depth verdict on an MCP server — a skill has no tools to document, so that rubric does not apply to it.

You searched for one. Check the rest of your stack:

npx tashan-cli doctor

Reads the config already on your machine and names what is dead, deprecated or running code at install time. No account, nothing uploaded.

tashan Pro$6/mo

Pro adds the history to tashan doctor, so a run over your own config says which of yours gained an advisory, started running an install script, or lost its last maintainer — and what to move to.

Start a 7-day trial › Everything measured on this page stays free.

source ↗  ·  skill:kotaroyamame/generate-db-schema

Everything on this page is public evidence and free. What it cannot know is whether you run this — check your whole config, free, in the browser. tashan Pro adds the series behind each row and names a replacement for anything dying.

Already running this? Check your whole config — free, in your browser, nothing installed. Or npx tashan-cli doctor locally, which sends nothing at all.

Measured 2026-08-20  ·  scorer s5  ·  how  ·  something wrong here?