GitHub
lean-proof-walk
GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof spa...
Skills IA Contenu et médias
Découvrez les skills Contenu et médias, comparez leurs dépôts et consultez leurs instructions.
Catégories: Contenu et médias
Contenu et médias Effacer les filtres
Explorer
GitHub
meeting-insights-analyzer
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
GitHub
fuzzing-obstacles
Overcoming fuzzing obstacles and improving fuzzer effectiveness.
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...
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é.