GitHub
differential-review
Security-focused code review of diffs and pull requests using Trail of Bits expertise.
☆ 5查看技能
文档写作 AI 技能
发现 文档写作 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 文档写作
文档写作 清除筛选
全部技能
GitHub
homoiconic-rewriting
Unified homoiconic graph rewriting - λ-calculus, interaction nets, ACSets, CUDA parallelism
☆ 5查看技能
GitHub
operad-compose
Operad Composition Skill (PLUS +1)
☆ 5查看技能
GitHub
wycheproof
Google's Wycheproof test vectors for cryptographic implementation testing.
☆ 5查看技能
GitHub
srfi
SRFI Skill
☆ 5查看技能
GitHub
infinity-operads
∞-Operads for pairwise/tritwise Cat# interactions with lazy ACSet materialization unifying effective, realizability, and Grothendieck topoi via dendroidal Segal spaces.
☆ 5查看技能
GitHub
glass-hopping
Glass Bead Game + World Hopping via Observational Bridge Types. Navigate possibility space through ordered locale ≪ relations with Narya-verified transitions.
☆ 5查看技能
GitHub
structural-rewilding
Homotopical approach to Artificial Life where 'life' is the topology of changes (diffs). Three orthogonal directions: Behavioral (→), Structural (↓), Bridge (↘) with Narya interaction-time verification.
☆ 5查看技能
GitHub
codeql
Run CodeQL static analysis for security vulnerability detection, taint tracking, and data flow analysis. Use when asked to analyze code with CodeQL, create CodeQL databases, write custom QL queries, perform sec...
☆ 5查看技能
GitHub
manifest-privilege-validator
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
☆ 5查看技能
GitHub
levity-levin
Playful mutual ingression meets Leonid Levin's algorithmic bounds. Use for: playful exploration with theoretical guarantees, mutual ingression with convergence proofs, emergent solutions within complexity bound...
☆ 5查看技能
GitHub
ducklake-walk
Ergodic random walks over DuckLake lakehouses with GF(3) triadic concurrent walkers. Society-of-mind coordination for schema exploration.
☆ 5查看技能
GitHub
mathpix-ocr
Mathpix OCR for LaTeX extraction with balanced ternary checkpoints
☆ 5查看技能
GitHub
reflow
Information Reflow Skill (ERGODIC 0)
☆ 5查看技能
GitHub
gmail-anima
Gmail inbox management via ANIMA condensation. Transforms messages into GF(3)-typed Interactions, routes to triadic queues, detects saturation for inbox-zero-as-condensed-state. Use for email triage, workflow a...
☆ 5查看技能
GitHub
reafference-corollary-discharge
Von Holst reafference and corollary discharge for behavioral verification and signal processing
☆ 5查看技能
GitHub
unwiring-arena
Play/Coplay arena theory for autopoietic closure with GF(3) conservation
☆ 5查看技能
GitHub
bumpus-narratives
Sheaves on time categories for compositional temporal reasoning. Bumpus
☆ 5查看技能
GitHub
hyperbolicity
No eigenvalues on imaginary axis (robust dynamics)
☆ 5查看技能
GitHub
pitchfork
Symmetric bifurcation with symmetry breaking
☆ 5查看技能
GitHub
moebius-inversion
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
☆ 5查看技能
GitHub
code-review
Automated code review for pull requests using specialized review patterns.
☆ 5查看技能
GitHub
browser-history-acset
Browser History ACSet
☆ 5查看技能
GitHub
bmorphism-interactome
GitHub interactome explorer for bmorphism/plurigrid ecosystem. Maps collaborations across AlgebraicJulia, Topos Institute, Anthropic, and MCP servers. Use for discovering cobordisms between research communities...
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。