Agent Skills Index

Directory / Claude community plugins (Anthropic) / formal-agent-contracts

formal-agent-contracts

plugin Software development

Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime contract enforcement — all through natural language conversation with Claude.
Description from the marketplace entry / plugin manifest.

Information source

Copied from the Claude community plugins (Anthropic) catalog (anthropics/claude-plugins-community), maintained by Anthropic (community submissions).

Links are pinned to commit 06ec7b6 (2026-10-13), the version we synced. Not reviewed by us.

Install

Add the marketplace (once, in Claude Code)
/plugin marketplace add anthropics/claude-plugins-community
In a Claude Code session
/plugin install formal-agent-contracts@claude-community
From your shell
claude plugin install formal-agent-contracts@claude-community

Commands follow each host's documentation (Claude Code, Claude Cowork docs). gh skill needs GitHub CLI 2.90 or later and is in public preview.

Listed from Anthropic (community submissions)'s catalog, not reviewed by us. Read the source before installing.

Catalog
Claude community plugins (Anthropic) (claude-community)
Information source
marketplace.json in anthropics/claude-plugins-community
Author
Not stated in the source
Source code
kotaroyamame/formal-agent-contracts
Homepage
iid.systems/formal-agent-contracts
License
MIT (repository license)
Repository stars
1 for kotaroyamame/formal-agent-contracts
Added to catalog
2026-04-07
Last change
2026-09-16 (last push to the repo)

What it contains

Hosted in an external repository, so contents are not counted here. See the source link.

Similar in Software development