SKILL.md packages that extend Claude Code, Cursor, Copilot, and other AI agents.
Tags
attentioncalculator
Thin-client skill that queries a hosted service to generate rigorous integral proofs for 29 classes of mathematical inequalities (returns LaTeX proofs).