Percolator Development Skill

What this Skill is for

Use this Skill when the user asks for:

• Percolator protocol development or integration
• Perpetual futures risk engine implementation
• Profit warmup and withdrawal mechanics
• Global coverage ratio (h) calculations
• Matcher program development (passive or vAMM)
• Oracle integration (Pyth, Chainlink, or custom)
• Liquidation and keeper operations
• Funding rate mechanics
• Formal verification with Kani
• Testing and stress testing the protocol
• CLI tool usage and scripting

Core Concepts

The Percolator Model