Discover content media ide plugins skills, compare source repositories and read the instructions for each workflow.
Run ESLint and Prettier validation to check code style, formatting, and linting rules. Works with any TypeScript/JavaScript project using ESLint/Prettier. Returns structured output with error/warning counts, ru...
Run ESLint and Prettier validation to check code style, formatting, and best practices. Returns structured output with error/warning counts, rule violations, and affected files. Used for code quality gates and...
Incrementally improve type safety by replacing string literals with enums, narrowing `any` types, and using shared types. Works in small verified batches. Preserves functionality while improving code quality.
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style deriving
Hylang Emacs integration with hy-mode, Hyuga LSP, and DisCoPy sexp coloring
Literate programming execution engine via org-babel for polyglot skill execution
AST-based code analysis using tree-sitter. Use for parsing code structure, extracting symbols, finding patterns with tree-sitter queries, analyzing complexity, and understanding code architecture. Supports Pyth...
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
"zls-integration skill"
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
Type Checker Skill
The eternal text editor — Didactic Ersatz Emacs demonstrating immutable
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
Emacs Lisp reference (106K lines info).
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation in Clojure code analysis.
CIDER integration for Clojure development with nREPL
Wrapper around Tizen Studio static analyzer. Detects memory leaks, buffer overflows, and coding vulnerabilities in C/C++/JavaScript.
Clojure ecosystem = babashka + clj + lein + shadow-cljs.
CIDER integration for Clojure development with nREPL
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...
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.