Discover Tools skills, compare source repositories and read the instructions for each workflow.
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...
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
Overcoming fuzzing obstacles and improving fuzzer effectiveness.
Model Nix store as Attributed C-Set for dependency verification, GC analysis,
SCUM Score Skill
Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy
Stability via Lyapunov's direct method
Time averages equal space averages
Emacs Lisp reference (106K lines info).
Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching
Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)
Obstruction Learning Skill
Secure provisioning for TizenRT/ARTIK IoT devices. Coordinates certificate installation, key management, and network onboarding.
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
Layer 4: Learning and Pattern Extraction for Cognitive Surrogate Systems
Run self-validation loops for triadic color systems using prediction vs observation and error minimization.
Layer 3: Temporal Versioning and ACSet Schema Generation for DuckDB
Riehl-Shulman covariant fibrations for dependent types over directed
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...
Surjective map intertwining two dynamical systems
Topos Generation Skill (PLUS +1)
Skill Connectivity Hub
Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics
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...
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.