GitHub
substitute-eraser
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...
plurigrid AI Skills
GitHub ↗Explorez les skills IA publiés de plurigrid et consultez leurs instructions source.
Statistiques de l’auteur
Skills indexés
639Étoiles des dépôts des skills indexés
3,235Forks du dépôt
1,917Moyenne des étoiles par skill indexé
5Les étoiles d’un dépôt peuvent se répéter entre ses skills.
Catégories populaires
Indexation récente
Explorer
GitHub
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for
GitHub
proof-of-frog
Proof-of-Frog Skill 🐸
GitHub
constant-time-testing
Testing for timing side channels and constant-time implementation verification.
GitHub
unison
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...
GitHub
color-envelope-preserving
GF(3) color envelope preservation across navigator compositions
GitHub
tailscale-mesh
Tailscale mesh VPN for secure peer-to-peer networking. WireGuard-based overlay network with MagicDNS and ACLs.
GitHub
elements-infinity-cats
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical
GitHub
implicit-coordination
Stigmergic agent coordination through environment modification, not messages. Vehicle semantics where carrier encodes meaning.
GitHub
resource-sharing
Resource Sharing Skill
GitHub
uv-oneliners
UV/UVX zero-install Python with comma-syntax deps, justfile patterns, PEP 723 scripts
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
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...
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...
GitHub
skill-validation-gf3
Skill Validation GF(3) - SLAVE (-1)
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.
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.
GitHub
pulse-mcp-stream
Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence
GitHub
gflownet
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
GitHub
ruler-maximal
Ruler Maximal Skill
GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
GitHub
linear-logic
Linear Logic Skill
GitHub
refuse-mediocrity
Reject complacency. Demand excellence. Ship or die.
GitHub
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.