GitHub
resource-sharing
Resource Sharing 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
uv-oneliners
UV/UVX zero-install Python with comma-syntax deps, justfile patterns, PEP 723 scripts
☆ 5View skill
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
☆ 5View skill
GitHub
secure-workflow-guide
Guide you through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability/ERC conformance/token integration), generates visual security diagrams, helps doc...
☆ 5View skill
GitHub
entry-point-analyzer
Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level (public, admin, role-re...
☆ 5View skill
GitHub
skill-validation-gf3
Skill Validation GF(3) - SLAVE (-1)
☆ 5View skill
GitHub
mlx-apple-silicon
Run LLMs on Apple Silicon with MLX/mlx_lm - unified memory, 4-bit quantization, streaming generation, prompt caching. Optimal for M-series chips.
☆ 5View skill
GitHub
tasks-acset
Google Tasks management via TasksACSet. Transforms task operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for task-zero-as-condensed-state.
☆ 5View skill
GitHub
pulse-mcp-stream
Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence
☆ 5View skill
GitHub
gflownet
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
☆ 5View skill
GitHub
ruler-maximal
Ruler Maximal Skill
☆ 5View skill
GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
☆ 5View skill
GitHub
linear-logic
Linear Logic Skill
☆ 5View skill
GitHub
refuse-mediocrity
Reject complacency. Demand excellence. Ship or die.
☆ 5View skill
GitHub
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
☆ 5View skill
GitHub
worldmat-tidar
worldmat-tidar
☆ 5View skill
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
☆ 5View skill
GitHub
langevin-dynamics
Layer 5: SDE-Based Learning Analysis via Langevin Dynamics
☆ 5View skill
GitHub
open-games
Open Games Skill (ERGODIC 0)
☆ 5View skill
GitHub
skill-evolution
Patterns for evolutionarily robust skills that adapt across agent generations. Darwin-Godel machine principles for self-improving skill ecosystems.
☆ 5View skill
GitHub
scheme
GNU Scheme ecosystem = guile + goblins + hoot + fibers.
☆ 5View skill
GitHub
algorand-vulnerability-scanner
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TE...
☆ 5View skill
GitHub
kuramoto-model
Coupled oscillators with sinusoidal coupling
☆ 5View skill
GitHub
unified-reafference
Cross-agent session database with B3 Poset and Bumpus sheaves
☆ 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.