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,...
发现 部署与运维 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
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...
Creates detailed implementation plans with atomic steps, model selection per step, dependency labels, and embedded TDD specifications
Executes implementation plans by dispatching agents based on step dependencies, following TDD with tests written before implementation
Conversational brainstorming that refines ideas through targeted questions, triggers codebase exploration, and prepares context for planning
マルチモデルコードレビュー。LLMがコードレビューを行った後、GitHub Copilot CLIに精査させて双方の視点を統合した最終レビューを提供。Use when user wants multi-model code review, second opinion, or wants to cross-ch...
Unity Editor operations via unity-mcp-client CLI. Handles build verification, console logs, tests, scene/object manipulation. Use after script edits or for debugging.
Git commit creation assistant with gitmoji prefixes and Japanese messages. Supports two modes staged-only (commits only staged changes) and smart-commit (analyzes all changes and creates multiple commits with a...
Use when user requests spaced-repetition flashcards from a documentation/article URL or wants to merge/update an existing flashcard vault file - enforces strict card-only output formatting, deep-link footnote c...
Use when making architectural decisions or critically reviewing an existing system/implementation - identifies the right abstractions, surfaces gaps/risks, evaluates tool/technology trade-offs, and produces imp...
Generate Sit Spot Club daily lessons and audio scripts in the Sit Spot Club voice. Use for daily lessons, sit spot practices, sensory awareness curriculum, and guided audio scripts.
明示的に呼び出されたときにのみ読み込みます。エージェントが自律的に呼び出す必要はありません。
明示的に呼び出されたときにのみ読み込みます。エージェントが自律的に呼び出す必要はありません。
Run static analysis, security scans, and dependency checks on .NET code. Use when task involves code quality, security audits, or vulnerability detection.
Build and orchestrate tasks using Nuke build system. Use when task involves running Nuke build targets, orchestrating complex build workflows, or managing build pipelines.
Run .NET tests using dotnet CLI. Use when task involves executing unit tests, generating code coverage reports, or running benchmarks.
Format code using dotnet format, prettier, and other formatting tools. Use when task involves code style fixes, formatting consistency, or preparing code for commit.
Build .NET solution/projects using dotnet CLI. Use when task involves compiling, restoring dependencies, or building artifacts.
Enforce Lore design system when building UI components. Use when creating React components, pages, forms, or any user interface elements. Ensures brand consistency with terracotta/coral palette, warm approachab...
Classify speleothem anomalies as seismic, climatic, volcanic, or compound events. Use when discriminating earthquake signals from climate/volcanic false positives. Triggers on "classify anomaly", "seismic or cl...
Run DEM lineament analysis to identify unmapped fault structures. Use when visually confirming orphan earthquake clusters, mapping fault extensions, or finding dark earthquake sources. Triggers on "DEM analysis...
Generate end-of-session documentation for paleoseismic research. Use at end of work session to update SESSION_LOG.md and GAPS_AND_PRIORITIES.md. Triggers on "end session", "session summary", "wrap up", "documen...
Scientific manuscript preparation for geoscience journals. Includes IMRAD structure, journal styles (Nature, EPSL, GSA), citation formatting, figure standards, and supplementary materials.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。