GitHub
zls-integration
"zls-integration skill"
Skills IA databases ide plugins
Découvrez les skills databases ide plugins, comparez leurs dépôts et consultez leurs instructions.
Catégories: databases ide plugins
databases ide plugins Effacer les filtres
Explorer
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...
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
GitHub
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
GitHub
audit-context-building
Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.
GitHub
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
GitHub
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation
GitHub
guile
GNU Scheme interpreter (67K lines info).
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
GitHub
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
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é.