Discover Research skills, compare source repositories and read the instructions for each workflow.
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.
Model decentralized protocols as attributed C-sets for compositional analysis, interoperability design, and protocol evolution. Apply categorical mathematics to P2P infrastructure.
Čech cohomology for local-to-global consistency verification in code
Self-regulating Goblins actor implementing Ivan Illich's dynamic sufficiency
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.