204 published skills · page 3 of 3
- ▌ Multi Agent Performance Profiling · terrylica bundleMulti-agent performance profiling for pipeline bottlenecks. TRIGGERS - performance profiling, bottleneck analysis, pipeline optimization.
- ▌ Sharpe Ratio Non Iid Corrections · terrylica bundleGeneralized Sharpe ratio inference under non-Normal serially correlated returns. Implements López de Prado, Lipton & Zoonekynd (2026): PSR, MinTRL, DSR, pFDR, oFDR, SFDR with ρ-corrected variance (Eq 2-3). Numba JIT for production speed. Use when computing Sharpe significance, minimum track record, false discovery rates, or deflated Sharpe ratios with autocorrelation correction.
- ▌ Arxiv Source First Paper Ingest · terrylica bundleRead an arXiv paper faithfully by fetching the authors' own LaTeX source instead of OCR-ing the PDF. Extracts every display equation with its label, environment and enclosing proposition, renders each to MathML, and proves usability by compiling each formula with a real TeX engine. Use when you need a paper's formulas exactly — to replicate a method, implement a loss function or custom objective, verify a quoted number, or check a claim against what the authors actually wrote. TRIGGERS - read this paper, get the paper, arxiv paper, extract formulas from a paper, replicate a method, implement the loss from, verify the paper's numbers, machine-readable paper, latex source, mathml, e-print.
- ▌ Manage Apps And Sounds Headless · terrylicaControl the pushover.net web dashboard headlessly for things the HTTP API cannot do - log in, list applications, CREATE or DELETE Pushover applications (returning the new app's API token), and ADD or REMOVE custom notification sounds (with a sourcing+loudness pipeline for free MP3 jingles). Drives system Google Chrome via Playwright. Use when the user wants to automate the Pushover website/dashboard rather than send notifications (that is send-notification). TRIGGERS - pushover dashboard, create pushover app, delete pushover app, new api token, add custom sound, upload pushover sound, remove custom sound, find jingle, pushover web automation.