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,...
浏览 cddigi 维护的已发布 AI 技能,比较用途与说明,并通过来源仓库了解安装方式。
已收录技能
3收录技能的仓库 Stars 合计
0仓库 Forks
0平均每个技能的仓库 Stars
0同一仓库中的多个技能可能共享 Stars,合计包含重复仓库数据。
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...
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。