GitHub
validate-lint
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...
Skills IA content media ide plugins
Découvrez les skills content media ide plugins, comparez leurs dépôts et consultez leurs instructions.
Catégories: content media ide plugins
content media ide plugins Effacer les filtres
Explorer
GitHub
validate-lint
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...
GitHub
type-hardening
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.
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style deriving
GitHub
hy-emacs
Hylang Emacs integration with hy-mode, Hyuga LSP, and DisCoPy sexp coloring
GitHub
org-babel-execution
Literate programming execution engine via org-babel for polyglot skill execution
GitHub
tree-sitter
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...
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
GitHub
zls-integration
"zls-integration skill"
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
GitHub
emacs
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
GitHub
type-checker
Type Checker Skill
GitHub
ewig-editor
The eternal text editor — Didactic Ersatz Emacs demonstrating immutable
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
GitHub
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
GitHub
elisp
Emacs Lisp reference (106K lines info).
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
GitHub
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation in Clojure code analysis.
GitHub
cider-clojure
CIDER integration for Clojure development with nREPL
GitHub
static-security-analyzer
Wrapper around Tizen Studio static analyzer. Detects memory leaks, buffer overflows, and coding vulnerabilities in C/C++/JavaScript.
GitHub
clojure
Clojure ecosystem = babashka + clj + lein + shadow-cljs.
GitHub
cider-clojure
CIDER integration for Clojure development with nREPL
GitHub
substitute-eraser
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...
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é.