GitHub
terminal
Terminal emulation = libghostty-vt + tmux + zsh + fzf + ripgrep.
☆ 5View skill
Documentation AI Skills
Discover Documentation skills, compare source repositories and read the instructions for each workflow.
Categories: Documentation
Documentation Clear filters
Browse skills
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
GitHub
dwarf-expert
Provides expertise for analyzing DWARF debug files and understanding the DWARF debug format/standard (v3-v5). Triggers when understanding DWARF information, interacting with DWARF files, answering DWARF-related...
☆ 5View skill
GitHub
protocol-evolution-markets
Prediction markets for protocol standard evolution. Bet on which specs survive, fork, or merge using multiverse finance and GF(3) fitness signals.
☆ 5View skill
GitHub
aptos-agent
Interact with Aptos blockchain - check balances, transfer APT, swap tokens, stake, and execute Move view functions. Features game-theoretic decision analysis with Nash equilibrium detection. All transactions re...
☆ 5View skill
GitHub
canvas-design
Create beautiful visual art in .png and .pdf documents using design philosophy.
☆ 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.