formal-agent-contracts

Name: formal-agent-contracts
Author: kotaroyamame

kotaroyamame ★ 1

A formal methods toolkit for multi-agent development that defines agent contracts in VDM-SL, automatically generates Phase 2 design documents (PROTOCOL.md, API-SIGNATURES.md), verifies specifications with VDMJ and Z3, and derives database schemas with deviation tracking. The plugin includes 15 skills spanning forward workflows (specification to code), reverse workflows (code to specification), and contract-driven model routing to minimize token consumption.

Code Review Testing free prompt pack

Install

> /plugin marketplace add kotaroyamame/formal-agent-contracts

> /plugin install formal-agent-contracts

Source: https://github.com/kotaroyamame/formal-agent-contracts

What it's made of

15 skills

Commands: 0
Agents: 0
Skills: 15
MCP servers: 0
Hooks: 0

What it needs & plugs into

API keys: none
Paid services: none detected
External tools: none
Talks to: nothing external detected

Facts extracted from the plugin's files. Prose generated by claude-haiku-4-5-20251001.

Is this your plugin?

Claim it to keep the card accurate and enter the weekly contest. Requires signing in as the GitHub owner (kotaroyamame).