New to Claude Skills? Learn how to install them →
Free agent skills tagged ai theory, ready to install into any SKILL.md-compatible agent.
3 skills
wanshuiyin
Generate rigorous mathematical proofs for ML/AI theories.