amortized-analysis-assistant
// Apply amortized analysis techniques including aggregate, accounting, and potential methods
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
nameamortized-analysis-assistant
descriptionApply amortized analysis techniques including aggregate, accounting, and potential methods
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
Amortized Analysis Assistant
Purpose
Provides expert guidance on amortized analysis of data structures and algorithms using multiple analysis techniques.
Capabilities
- Aggregate method calculations
- Accounting method with credit tracking
- Potential function design and verification
- Banker's method for persistent data structures
- Generate amortized bounds documentation
- Handle complex operation sequences
Usage Guidelines
- Method Selection: Choose appropriate amortized analysis method
- Potential Design: Design potential function for potential method
- Credit Tracking: Track credits for accounting method
- Bound Derivation: Derive amortized cost bounds
- Documentation: Generate clear analysis documentation
Tools/Libraries
- Symbolic computation
- LaTeX documentation
- Proof assistants