浏览 plurigrid 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。
已收录技能
639收录技能的仓库 Stars 合计
3,235仓库 Forks
1,917平均每个技能的仓库 Stars
5同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。
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.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。