compsci-math
Installation
SKILL.md
CompSci Math Agent Tools
A Claude Code agent toolkit implementing the five core mathematical domains from MIT's "Mathematics for Computer Science" (Lehman, Leighton, Meyer).
Quick Reference
| Domain | Primary Use Cases | Key Tools |
|---|---|---|
| Proofs | Logical verification, induction | evaluate_proposition, verify_induction, check_proof |
| Structures | Graph algorithms, cryptography | gcd_extended, rsa_keygen, graph_analyze |
| Counting | Complexity analysis, combinatorics | asymptotic_compare, binomial, generating_func |
| Probability | Risk assessment, distributions | bayes_update, expected_value, chernoff_bound |
| Recurrences | Algorithm complexity | master_theorem, solve_recurrence, akra_bazzi |
Tool Invocation Pattern
All tools follow a consistent interface: