GitHub
elements-infinity-cats
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical
Explorer
Explorez des skills pour le développement, le contenu, les données et la productivité. Comparez les descriptions et dépôts.
Catégories
Explorer
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.
GitHub
worldmat-tidar
worldmat-tidar
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
GitHub
langevin-dynamics
Layer 5: SDE-Based Learning Analysis via Langevin Dynamics
GitHub
open-games
Open Games Skill (ERGODIC 0)
GitHub
skill-evolution
Patterns for evolutionarily robust skills that adapt across agent generations. Darwin-Godel machine principles for self-improving skill ecosystems.
GitHub
scheme
GNU Scheme ecosystem = guile + goblins + hoot + fibers.
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...
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é.