Discover Lifestyle skills, compare source repositories and read the instructions for each workflow.
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.
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.