编程开发 AI 技能

发现编程开发相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。

分类目录: 编程开发

最近收录最多 Forks 编辑推荐更多筛选

编程开发清除筛选

GitHub

kolmogorov-codex-quest

plurigrid

Kolmogorov Codex Quest

☆ 5查看技能

GitHub

yoneda-directed

plurigrid

Directed Yoneda lemma as directed path induction. Riehl-Shulman's key

☆ 5查看技能

GitHub

haskell-diagrams

plurigrid

haskell-diagrams - Declarative Vector Graphics with Diagrams DSL

☆ 5查看技能

GitHub

bmorphism-stars

plurigrid

bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.

☆ 5查看技能

GitHub

cynara-policy-checker

plurigrid

Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.

☆ 5查看技能

GitHub

pun-decomposition

plurigrid

Pun Decomposition Skill (MINUS -1)

☆ 5查看技能

GitHub

anoma-intents

plurigrid

Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation

☆ 5查看技能

GitHub

borkdude

plurigrid

Babashka and ClojureScript runtime selection guidance by @borkdude

☆ 5查看技能

GitHub

codex-self-rewriting

plurigrid

Lisp machine self-modification patterns via MCP Tasks and Narya bridge types

☆ 5查看技能

GitHub

birkhoff-average

plurigrid

Time average of observable along trajectory

☆ 5查看技能

GitHub

address-sanitizer

plurigrid

Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.

☆ 5查看技能

GitHub

mruler

plurigrid

mruler - Meta-Ruler Skill Governance

☆ 5查看技能

GitHub

cairo-vulnerability-scanner

plurigrid

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...

☆ 5查看技能

GitHub

catsharp-galois

plurigrid

CatSharp Scale Galois Connections between agent-o-rama and Plurigrid ACT via Mazzola's categorical music theory

☆ 5查看技能

GitHub

git-forensics

Haaaiawd

分析 Git 历史，发现"逻辑耦合"（总一起改的文件）和"热点"（高频修改的复杂模块）。基于 Adam Tornhill 的《Your Code as a Crime Scene》方法论。

☆ 5查看技能

GitHub

build-inspector

Haaaiawd

分析构建系统拓扑，识别独立构建单元、多产物风险和版本漂移隐患。

☆ 5查看技能

GitHub

system-architect

Haaaiawd

识别项目中的独立系统，定义系统边界。产出系统架构总览，为后续系统设计奠定基础。

☆ 5查看技能

GitHub

runtime-inspector

Haaaiawd

分析运行时行为、进程边界和 IPC 机制，检测"协议漂移"风险和进程生命周期问题。

☆ 5查看技能

GitHub

concept-modeler

Haaaiawd

从模糊的用户需求中提取领域概念——实体、流程和"暗物质"（用户没说的）。基于 DDD（领域驱动设计）方法论。

☆ 5查看技能

GitHub

task-planner

Haaaiawd

使用WBS方法将系统设计文档分解为层次化任务。支持依赖分析、追溯链、验收标准。

☆ 5查看技能

GitHub

report-template

Haaaiawd

综合 Scout 阶段所有分析（build-inspector, runtime-inspector, git-forensics, concept-modeler），生成决策就绪的系统风险报告。

☆ 5查看技能

GitHub

system-designer

Haaaiawd

为单个系统设计详细的技术文档。负责架构图、接口设计、数据模型、Trade-offs讨论等。

☆ 5查看技能

GitHub

tech-evaluator

Haaaiawd

评估技术栈选项，使用加权决策矩阵和 ATAM 方法论产出架构决策记录 (ADR)。

☆ 5查看技能

GitHub

doc-coauthoring

k35o

ドキュメント共同執筆ワークフロー。提案書、技術仕様書、設計ドキュメントなどを3段階プロセス（コンテキスト収集→洗練・構造化→読者テスト）で作成。高品質なドキュメントを効率的に共同執筆する際に使用。

☆ 5查看技能

默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。