GitHub
fuzzing-obstacles
Overcoming fuzzing obstacles and improving fuzzer effectiveness.
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
nix-acset-worlding
Model Nix store as Attributed C-Set for dependency verification, GC analysis,
GitHub
scum-score
SCUM Score Skill
GitHub
directed-interval
Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy
GitHub
lyapunov-stability
Stability via Lyapunov's direct method
GitHub
ergodicity
Time averages equal space averages
GitHub
elisp
Emacs Lisp reference (106K lines info).
GitHub
specter-acset
Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching
GitHub
zx-calculus
Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)
GitHub
obstruction-learning
Obstruction Learning Skill
GitHub
iot-device-provisioning
Secure provisioning for TizenRT/ARTIK IoT devices. Coordinates certificate installation, key management, and network onboarding.
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
GitHub
agent-o-rama
Layer 4: Learning and Pattern Extraction for Cognitive Surrogate Systems
GitHub
self-validation-loop
Run self-validation loops for triadic color systems using prediction vs observation and error minimization.
GitHub
duckdb-timetravel
Layer 3: Temporal Versioning and ACSet Schema Generation for DuckDB
GitHub
covariant-fibrations
Riehl-Shulman covariant fibrations for dependent types over directed
GitHub
variant-analysis
Find similar vulnerabilities and bugs across codebases using pattern-based analysis. Use when hunting bug variants, building CodeQL/Semgrep queries, analyzing security vulnerabilities, or performing systematic...
GitHub
semi-conjugacy
Surjective map intertwining two dynamical systems
GitHub
topos-generate
Topos Generation Skill (PLUS +1)
GitHub
skill-connectivity-hub
Skill Connectivity Hub
GitHub
tailscale-file-transfer
Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics
GitHub
accept-no-substitutes
This skill should be used when agents generate placeholder tokens like "pseudo-", "mock-", "temporary", "TODO", "demo-", or similar incompleteness markers. Detects substitution patterns in agent OUTPUT and trig...
GitHub
merkle-proof-validation
Merkle Proof Validation Skill
GitHub
paypal-mcp
PayPal MCP server integration for invoices, payments, subscriptions, disputes, and transaction reporting via @paypal/mcp.
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é.