claudeindex
Plugin

formal-verify

Continuous formal verification of architectural constraints, behavioral invariants, and code elegance for agent-driven codebases

Installation

1

Add the marketplace

/plugin marketplace add petekp/agent-skills
2

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

Repository & Links

Plugin Source

View Plugin Code

GitHub Repository

petekp/agent-skills

Details & Metadata

1

Skill