# Integrated Workflow

> Orchestrate the full formal development pipeline end-to-end: Define (VDM-SL contract) → Verify (VDMJ) → Prove (Z3, optional) → Generate (TS/Python code) → Test (contract tests), with automated handoff between phases, error recovery, and a final session report. Each phase invokes an existing skill (define-contract, verify-spec, smt-verify, generate-code, generate-tests). Triggered by: "run the full workflow", "end-to-end development", "define and generate code for an agent", or when the user requests multiple phases in sequence. Japanese triggers: 「統合ワークフローで開発したい」「一気通貫で」「エンドツーエンドで」 「定義から生成まで」「全フェーズ実行して」

## Facts
- Page: https://tashan.sh/capability/skill-kotaroyamame-integrated-workflow
- tashan id: skill:kotaroyamame/integrated-workflow
- Source: https://github.com/kotaroyamame/formal-agent-contracts
- Type: skill
- Category: devtools
- tashan score: not scored (catalogued only — too little public evidence)
- Adoption: 9.0
- Upkeep: 93.0
- Freshness: 84.0
- Evidence coverage: 84% of the inputs this score can use
- Health: active
- Instruction depth: not yet graded
- License: MIT
- Official: no

## Install

```sh
cp -r integrated-workflow ~/.claude/skills/
```

## Security audit
Not scanned. We audit npm-published capabilities; this one has no npm package we can resolve, or has not reached the queue. This is not a clean bill of health.

---
Measured 2026-08-20 by tashan (https://tashan.sh) from public evidence. Scorer s5.