GitHub
kolmogorov-codex-quest
Kolmogorov Codex Quest
Skills IA Développement
Découvrez les skills Développement, comparez leurs dépôts et consultez leurs instructions.
Catégories: Développement
Développement Effacer les filtres
Explorer
GitHub
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key
GitHub
haskell-diagrams
haskell-diagrams - Declarative Vector Graphics with Diagrams DSL
GitHub
bmorphism-stars
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
GitHub
cynara-policy-checker
Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.
GitHub
pun-decomposition
Pun Decomposition Skill (MINUS -1)
GitHub
anoma-intents
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types
GitHub
birkhoff-average
Time average of observable along trajectory
GitHub
address-sanitizer
Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.
GitHub
mruler
mruler - Meta-Ruler Skill Governance
GitHub
cairo-vulnerability-scanner
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet p...
GitHub
catsharp-galois
CatSharp Scale Galois Connections between agent-o-rama and Plurigrid ACT via Mazzola's categorical music theory
GitHub
git-forensics
分析 Git 历史，发现"逻辑耦合"（总一起改的文件）和"热点"（高频修改的复杂模块）。基于 Adam Tornhill 的《Your Code as a Crime Scene》方法论。
GitHub
build-inspector
分析构建系统拓扑，识别独立构建单元、多产物风险和版本漂移隐患。
GitHub
system-architect
识别项目中的独立系统，定义系统边界。产出系统架构总览，为后续系统设计奠定基础。
GitHub
runtime-inspector
分析运行时行为、进程边界和 IPC 机制，检测"协议漂移"风险和进程生命周期问题。
GitHub
concept-modeler
从模糊的用户需求中提取领域概念——实体、流程和"暗物质"（用户没说的）。基于 DDD（领域驱动设计）方法论。
GitHub
task-planner
使用WBS方法将系统设计文档分解为层次化任务。支持依赖分析、追溯链、验收标准。
GitHub
report-template
综合 Scout 阶段所有分析（build-inspector, runtime-inspector, git-forensics, concept-modeler），生成决策就绪的系统风险报告。
GitHub
system-designer
为单个系统设计详细的技术文档。负责架构图、接口设计、数据模型、Trade-offs讨论等。
GitHub
tech-evaluator
评估技术栈选项，使用加权决策矩阵和 ATAM 方法论产出架构决策记录 (ADR)。
GitHub
doc-coauthoring
ドキュメント共同執筆ワークフロー。提案書、技術仕様書、設計ドキュメントなどを3段階プロセス（コンテキスト収集→洗練・構造化→読者テスト）で作成。高品質なドキュメントを効率的に共同執筆する際に使用。
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.