Amortized analysis assistant
Babysitter enforces obedience on agentic workforces and enables them to manage extremely complex tasks and workflows through deterministic, hallucination-free self-orchestration
npx -y skills add a5c-ai/babysitter --skill amortized-analysis-assistantAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
What its author says it does
Copied from the file, not written here
Apply amortized analysis techniques including aggregate, accounting, and potential methods
SKILL.md
1.5 KB, as published. Nobody here has run it
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