GitHub
gay-integration
Gay.jl integration for bisimulation games with proper hue-based trit derivation and GF(3) conservation
☆ 5View skill
Lifestyle AI Skills
Discover Lifestyle skills, compare source repositories and read the instructions for each workflow.
Categories: Lifestyle
Lifestyle Clear filters
Browse skills
GitHub
ihara-zeta
Ihara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).
☆ 5View skill
GitHub
audit-prep-assistant
Prepare your codebase for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, ensures accessibility, and generates com...
☆ 5View skill
GitHub
interaction-nets
Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting
☆ 5View skill
GitHub
unworld
Replace time with color chain derivations via seed chaining
☆ 5View skill
GitHub
audit-context-building
Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.
☆ 5View skill
GitHub
tmp-filesystem-watcher
Real-time filesystem watcher for /tmp using Babashka fs.
☆ 5View skill
GitHub
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
☆ 5View skill
GitHub
competitive-ads-extractor
Extracts and analyzes competitors' ads from ad libraries (Facebook, LinkedIn,
☆ 5View skill
GitHub
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation
☆ 5View skill
GitHub
mitm
Track and summarize man-in-the-middle mentions across local corpora and history; use for MITM audits, searches, and reporting.
☆ 5View skill
GitHub
entropy-sequencer
Layer 5 Interaction Interleaving for Maximum Information Gain with DuckDB
☆ 5View skill
GitHub
guile-goblins-hoot
Spritely Goblins distributed actor system with Hoot WebAssembly compiler. Secure capability-based programming in Guile Scheme.
☆ 5View skill
GitHub
pijul
Pijul patch-based VCS with categorical patch theory for skill versioning
☆ 5View skill
GitHub
discopy
DisCoPy: Python library for computing with string diagrams - monoidal
☆ 5View skill
GitHub
media
Media processing = ffmpeg + imagemagick + sox.
☆ 5View skill
GitHub
levin-levity
Leonid Levin''s algorithmic complexity meets playful mutual ingression. Use for: BB(n) prediction markets, Kolmogorov complexity rewards, WEV extraction from proof inefficiencies, Nash equilibrium between explo...
☆ 5View skill
GitHub
propagators
Sussman/Radul propagator networks for constraint propagation and bidirectional
☆ 5View skill
GitHub
hatchery-index
Index of 1057 hatchery repos with GAY.md color assignments. Maps plurigrid/bmorphism/TeglonLabs ecosystem to skills.
☆ 5View skill
GitHub
invariant-set
Sets preserved by the flow
☆ 5View skill
GitHub
squint-runtime
Squint ClojureScript runtime for minimal JS output compilation
☆ 5View skill
GitHub
gh
GitHub CLI (212 man pages).
☆ 5View skill
GitHub
duckdb-spatial
DuckDB Spatial Skill
☆ 5View skill
GitHub
guile
GNU Scheme interpreter (67K lines info).
☆ 5View skill
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.