CLAUDE PLUGIN

formal-agent-contracts

Publisher not specified · Claude Code

What this plugin does

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.

Source repository ↗ Publisher website ↗

Catalog observations

Sources: Community
Works with: Claude Code
Reported installs: Not provided
First observed: 2026-10-03 22:13 UTC
Last observed: 2026-10-08 18:00 UTC

Installation counts are reported by Claude Marketplace, not independently verified active users. Observation dates are not release dates. Pricing and account requirements must be checked with the publisher.

Install in Claude Code

Choose a source and review what the plugin adds before installing.

Community

/plugin marketplace add anthropics/claude-plugins-community
/plugin install formal-agent-contracts@claude-community

Claude Code installation documentation

Source evidence

Listing and manifest JSON

Descriptions and compatibility labels come from the linked sources. Where both sources match, the GitHub description is used because web summaries may be shortened. We have not independently tested the declared capabilities.