GitHub
condensed-analytic-stacks
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
Skills IA Recherche
Découvrez les skills Recherche, comparez leurs dépôts et consultez leurs instructions.
Catégories: Recherche
Recherche Effacer les filtres
Explorer
GitHub
captp
CapTP: Capability Transfer Protocol
GitHub
doc-coauthoring
Guide users through a structured workflow for co-authoring documentation.
GitHub
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation
GitHub
joker-lint
Joker Lint Skill
GitHub
pijul-sparse-skills
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
GitHub
kolmogorov-codex-quest
Kolmogorov Codex Quest
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
complexity-guard
The final gatekeeper. Audits RFCs to reject over-engineering, unnecessary dependencies, and resume-driven development.
GitHub
build-inspector
分析构建系统拓扑，识别独立构建单元、多产物风险和版本漂移隐患。
GitHub
system-architect
识别项目中的独立系统，定义系统边界。产出系统架构总览，为后续系统设计奠定基础。
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é.