
Publisher on askill
The fundamental GF(3) trit oracle. Maps any skill, operation, agent, or value to exactly one of {-1, 0, +1} with CellValue{Nothing, Value, Contradiction} lattice. Triggers: classify trit, assign trit...
Bridge connecting tweag/monad-bayes probabilistic inference (SMC/MCMC/PMMH/RMSMC monad transformer stacks) to ASI abductive reasoning and sampling capabilities. Use when wiring Haskell probabilistic p...
Aftermarket cybernetic network device framework. nhero is the umbrella for all pill-dispenser-as-network-device modifications — from Hero Health hardware RE to PyHole DNS-style medication routing to k...
Use this skill when asked to create a pull request (PR). It ensures all PRs follow the repository's established templates and standards.
Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting
Diagnose and fix SteamVR + eGPU issues on remote Windows machines via SSH. Covers GPU routing, SteamVR log analysis, vrdashboard crash loops, Lighthouse tracking, and process management. This skill sh...
Use the Figma MCP server to fetch design context, screenshots, variables, and assets from Figma, and to translate Figma nodes into production code. Trigger when a task involves Figma URLs, node IDs, d...
Colored operads for multi-input composition, associahedra, A-infinity structure, and homotopy algebra
Guerino Mazzola's mathematical music theory - Forms, Denotators, Morphisms, and Neo-Riemannian PLR operations with Gay.jl color integration
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.
Schmidhuber''s Gödel Machine: Self-improving systems that prove their
Forth/Factor/Joy: stack-based concatenative programming where composition replaces application.
Čech cohomology for local-to-global consistency verification in code
Showing 18 of 902