# Perennial Tactics > Detailed Perennial proof tactics reference with proof state examples. Use when you can't understand how a specific tactic works. Use when this capability is needed. - Skill: `tomevault-io/perennial-tactics` (Agent Skill, multi-file: 2 files) - Install (CLI): `npx skillmds@latest add tomevault-io/perennial-tactics` - Raw SKILL.md: https://api.skillmd.com/api/skills/tomevault-io/perennial-tactics/raw - Safety review: pending (external: skill-scanner PASS, skillspector PASS) - Works with: Claude Code, Claude.ai, OpenAI Codex - Category: Coding & Dev Tools - Author: tomevault-io (https://skillmd.com/u/tomevault-io) - Updated: 2026-09-17 - Page: https://skillmd.com/skills/tomevault-io/perennial-tactics --- Here is the table of contents for the Perennial proof reference (`new/proof/PERENNIAL_PROOF_REFERENCE.md`): !`grep -n "^### \|^## " new/proof/PERENNIAL_PROOF_REFERENCE.md` Use `sed -n 'START,ENDp' new/proof/PERENNIAL_PROOF_REFERENCE.md` to extract the relevant section based on the line numbers above. Pick the range from one header to just before the next header. --- > Source: [mit-pdos/perennial](https://github.com/mit-pdos/perennial) — distributed by [TomeVault](https://tomevault.io).