Skills
.Work. You
Rest

invariant-analysis

Official

Find and break protocol invariants.

Software Engineering#security#vulnerability#auditing#smart contract#protocol analysis#invariant
AuthorPurpleAILAB
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill systematically identifies critical conditions that must always hold true in a smart contract protocol and explores ways these conditions can be violated, uncovering potential vulnerabilities.

Core Features & Use Cases

  • Invariant Extraction: Identifies explicit (from code/docs) and implicit (inferred from code flow) invariants.
  • Violation Path Exploration: Simulates scenarios to break invariants, including single-function, multi-function, state transition, and edge-case violations.
  • Use Case: Auditing a DeFi lending protocol to ensure that the invariant totalBorrowed <= totalDeposited * utilizationCap cannot be broken, preventing users from borrowing more than is available or allowed.

Quick Start

Analyze the provided smart contract code to extract all protocol invariants and identify potential violation paths.

Dependency Matrix

Required Modules

None required

Components

referencesscripts

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: invariant-analysis
Download link: https://github.com/PurpleAILAB/Vigilo/archive/main.zip#invariant-analysis

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.