GitHub
criticality-detector
Criticality Detector Skill
☆ 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
jacobian
Matrix of partial derivatives for linearization
☆ 5View skill
GitHub
olmoearth-mlx
OlmoEarth MLX: Spatio-Temporal Earth Intelligence
☆ 5View skill
GitHub
eigenvalue-stability
Stability classification via Jacobian eigenvalues
☆ 5View skill
GitHub
localsend-mcp
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale
☆ 5View skill
GitHub
hyjax-relational
HyJAX Relational Thinking Skill
☆ 5View skill
GitHub
abductive-repl
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference with Gay.jl colors
☆ 5View skill
GitHub
gay-integration
Gay.jl integration for bisimulation games with proper hue-based trit derivation and GF(3) conservation
☆ 5View skill
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
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.