Browse published AI skills maintained by plurigrid. Compare skill descriptions and follow each source repository for setup instructions.
Indexed skills
639Repository stars across indexed skills
3,235Repository forks
1,917Average repository stars per indexed skill
5Repository stars may repeat across skills from the same repository.
This skill should be used when the user asks to "scan for TODOs", "find placeholders", "clean up stubs", "remove temporary code", "audit for incomplete code", or "erase substitutions from codebase". Scans exist...
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
Proof-of-Frog Skill 🐸
Testing for timing side channels and constant-time implementation verification.
Unison language - content-addressed functional programming with abilities for effects, distributed computing, and structural types. Use for pure functional code, effect management, distributed systems, and refa...
GF(3) color envelope preservation across navigator compositions
Tailscale mesh VPN for secure peer-to-peer networking. WireGuard-based overlay network with MagicDNS and ACLs.
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical
Stigmergic agent coordination through environment modification, not messages. Vehicle semantics where carrier encodes meaning.
Resource Sharing Skill
UV/UVX zero-install Python with comma-syntax deps, justfile patterns, PEP 723 scripts
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
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...
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...
Skill Validation GF(3) - SLAVE (-1)
Run LLMs on Apple Silicon with MLX/mlx_lm - unified memory, 4-bit quantization, streaming generation, prompt caching. Optimal for M-series chips.
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.
Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
Ruler Maximal Skill
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
Linear Logic Skill
Reject complacency. Demand excellence. Ship or die.
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
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.