GitHub
hatchery-papers
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.
☆ 5查看技能
plurigrid AI Skills
GitHub ↗浏览 plurigrid 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。
作者统计
已收录技能
639收录技能的仓库 Stars 合计
3,235仓库 Forks
1,917平均每个技能的仓库 Stars
5同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。
热门分类
近期收录动态
全部技能
GitHub
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
☆ 5查看技能
GitHub
specter-navigator-gadget
Unified Specter/Navigator/3-MATCH architecture with bidirectional path compilation
☆ 5查看技能
GitHub
trajectory
Path traced by solution through phase space
☆ 5查看技能
GitHub
code-documentation
Writing effective code documentation - API docs, README files, inline
☆ 5查看技能
GitHub
lean-proof-walk
GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof spa...
☆ 5查看技能
GitHub
meeting-insights-analyzer
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
☆ 5查看技能
GitHub
fuzzing-obstacles
Overcoming fuzzing obstacles and improving fuzzer effectiveness.
☆ 5查看技能
GitHub
nix-acset-worlding
Model Nix store as Attributed C-Set for dependency verification, GC analysis,
☆ 5查看技能
GitHub
scum-score
SCUM Score Skill
☆ 5查看技能
GitHub
directed-interval
Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy
☆ 5查看技能
GitHub
lyapunov-stability
Stability via Lyapunov's direct method
☆ 5查看技能
GitHub
ergodicity
Time averages equal space averages
☆ 5查看技能
GitHub
elisp
Emacs Lisp reference (106K lines info).
☆ 5查看技能
GitHub
specter-acset
Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching
☆ 5查看技能
GitHub
zx-calculus
Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)
☆ 5查看技能
GitHub
obstruction-learning
Obstruction Learning Skill
☆ 5查看技能
GitHub
iot-device-provisioning
Secure provisioning for TizenRT/ARTIK IoT devices. Coordinates certificate installation, key management, and network onboarding.
☆ 5查看技能
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
☆ 5查看技能
GitHub
agent-o-rama
Layer 4: Learning and Pattern Extraction for Cognitive Surrogate Systems
☆ 5查看技能
GitHub
self-validation-loop
Run self-validation loops for triadic color systems using prediction vs observation and error minimization.
☆ 5查看技能
GitHub
duckdb-timetravel
Layer 3: Temporal Versioning and ACSet Schema Generation for DuckDB
☆ 5查看技能
GitHub
covariant-fibrations
Riehl-Shulman covariant fibrations for dependent types over directed
☆ 5查看技能
GitHub
variant-analysis
Find similar vulnerabilities and bugs across codebases using pattern-based analysis. Use when hunting bug variants, building CodeQL/Semgrep queries, analyzing security vulnerabilities, or performing systematic...
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。