compsci-math
Comprehensive computational mathematics toolkit for Claude Code agents. Provides tools for five core domains from MIT's Mathematics for Computer Science curriculum - Proofs (propositions, predicates, induction,...
Browse published AI skills maintained by cddigi. Compare skill descriptions and follow each source repository for setup instructions.
Indexed skills
3Repository stars across indexed skills
0Repository forks
0Average repository stars per indexed skill
0Repository stars may repeat across skills from the same repository.
Comprehensive computational mathematics toolkit for Claude Code agents. Provides tools for five core domains from MIT's Mathematics for Computer Science curriculum - Proofs (propositions, predicates, induction,...
State checkpointing, divergence detection, and confidence tracking for Hopper/Hardin doctrine compliance. Use PROACTIVELY when performing multi-step reasoning, external actions, or any task requiring error reco...
Shell prompt to Claude Code statusLine mirroring. Parses Bash PS1, Zsh PROMPT, Fish fish_prompt, and PowerShell prompt functions to generate compatible statusLine configuration. Use when users want their termin...
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.