GitHub
gay-julia
Wide-gamut color sampling with splittable determinism using Pigeons.jl
☆ 5View skill
Tools AI Skills
Discover Tools skills, compare source repositories and read the instructions for each workflow.
Categories: Tools
Tools Clear filters
Browse skills
GitHub
hy-emacs
Hylang Emacs integration with hy-mode, Hyuga LSP, and DisCoPy sexp coloring
☆ 5View skill
GitHub
crdt-vterm
Collaborative terminal session sharing using CRDT-style s-expressions
☆ 5View skill
GitHub
bifurcation
Hopf bifurcation detection for dynamical system state transitions with GF(3) phase portraits
☆ 5View skill
GitHub
terminal
Terminal emulation = libghostty-vt + tmux + zsh + fzf + ripgrep.
☆ 5View skill
GitHub
tizen-security-compliance
Maps security requirements to implementation. Coordinates compliance against FIPS 140-3, OCF, CommonCriteria, and Tizen specification.
☆ 5View skill
GitHub
coverage-analysis
Code coverage analysis for testing quality assessment.
☆ 5View skill
GitHub
database-design
Database schema design, optimization, and migration patterns for PostgreSQL,
☆ 5View skill
GitHub
org
Org-mode manual (25K lines info).
☆ 5View skill
GitHub
holes
Narya interactive proof development with typed holes
☆ 5View skill
GitHub
google-workspace
Google Workspace MCP integration for Gmail, Drive, Calendar, Docs, Sheets, Slides, Forms, Tasks, and Chat. Use when the user wants to read/send emails, manage files, create/edit documents, schedule events, or i...
☆ 5View skill
GitHub
org-babel-execution
Literate programming execution engine via org-babel for polyglot skill execution
☆ 5View skill
GitHub
skill-installer
Install Codex skills into $CODEX_HOME/skills from a curated list or a GitHub repo path. Use when a user asks to list installable skills, install a curated skill, or install a skill from another repo (including...
☆ 5View skill
GitHub
networked-system
Dynamical systems on graphs
☆ 5View skill
GitHub
iroh-p2p
Build modern peer-to-peer applications with Iroh. QUIC-based P2P networking, hole punching, content distribution, and decentralized data synchronization.
☆ 5View skill
GitHub
say-ducklake-xor
Parallel thread/DuckLake discovery with XOR uniqueness from gay_seed. Finds "say" or MCP usage, cross-refs with all DuckDB sources, launches bounded parallel ops.
☆ 5View skill
GitHub
hoot
Scheme→WebAssembly compiler (4K lines info).
☆ 5View skill
GitHub
catsharp-sonification
Sonify GF(3) color streams via CatSharp scale. Maps Gay.jl colors to pitch classes and plays through sox. Includes metairony mode and Hydra flow grokking.
☆ 5View skill
GitHub
duckdb-temporal-versioning
Temporal versioning and interaction history with time-travel queries,
☆ 5View skill
GitHub
skill-embedding-vss
P-adic ultrametric skill embeddings with MLX Snowflake Arctic, DuckDB
☆ 5View skill
GitHub
rezk-types
Rezk types (complete Segal spaces). Local univalence: categorical isomorphisms ≃ type-theoretic identities.
☆ 5View skill
GitHub
causal-inference
Bengio's causal inference for AI: Interventional reasoning, counterfactuals, and System 2 deep learning. World models with causal structure.
☆ 5View skill
GitHub
partiful
Access Partiful events, invites, and RSVPs via reverse-engineered API. Use when user asks about party invites, event RSVPs, or social event data.
☆ 5View skill
GitHub
repeller
Invariant set repelling nearby trajectories
☆ 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.