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.
发现 生活与效率 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
Homotopical approach to Artificial Life where 'life' is the topology of changes (diffs). Three orthogonal directions: Behavioral (→), Structural (↓), Bridge (↘) with Narya interaction-time verification.
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...
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
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...
Ergodic random walks over DuckLake lakehouses with GF(3) triadic concurrent walkers. Society-of-mind coordination for schema exploration.
Mathpix OCR for LaTeX extraction with balanced ternary checkpoints
Information Reflow Skill (ERGODIC 0)
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...
Von Holst reafference and corollary discharge for behavioral verification and signal processing
Play/Coplay arena theory for autopoietic closure with GF(3) conservation
Sheaves on time categories for compositional temporal reasoning. Bumpus
No eigenvalues on imaginary axis (robust dynamics)
Symmetric bifurcation with symmetry breaking
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
Automated code review for pull requests using specialized review patterns.
Browser History ACSet
GitHub interactome explorer for bmorphism/plurigrid ecosystem. Maps collaborations across AlgebraicJulia, Topos Institute, Anthropic, and MCP servers. Use for discovering cobordisms between research communities...
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
IMO Gold Medal level Lean4 theorem proving via Harmonic API
markov-game-acset skill
3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction
Ward Identity Checker
Minimal interaction patterns that bootstrap complex social behaviors in distributed systems
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for 3-way color streams with arbitrary precision.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。