New to Claude Skills? Learn how to install them →

Get Claude Skills

Theoretical Correctness skills

Free agent skills tagged theoretical correctness, ready to install into any SKILL.md-compatible agent.

3 skills

Best matchMost starredNewest
A

Academic Research Engineer

davila7

Achieve rigorous correctness in computational implementations.

Developer Toolsadvanced30.2k repo