GitHub
zls-integration
"zls-integration skill"
☆ 5View skill
databases ide plugins AI Skills
Discover databases ide plugins skills, compare source repositories and read the instructions for each workflow.
Categories: databases ide plugins
databases ide plugins Clear filters
Browse skills
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style
☆ 5View skill
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
☆ 5View skill
GitHub
emacs
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
☆ 5View skill
GitHub
type-checker
Type Checker Skill
☆ 5View skill
GitHub
ewig-editor
The eternal text editor — Didactic Ersatz Emacs demonstrating immutable
☆ 5View skill
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
☆ 5View skill
GitHub
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
☆ 5View skill
GitHub
elisp
Emacs Lisp reference (106K lines info).
☆ 5View skill
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
☆ 5View skill
GitHub
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation in Clojure code analysis.
☆ 5View skill
GitHub
cider-clojure
CIDER integration for Clojure development with nREPL
☆ 5View skill
GitHub
static-security-analyzer
Wrapper around Tizen Studio static analyzer. Detects memory leaks, buffer overflows, and coding vulnerabilities in C/C++/JavaScript.
☆ 5View skill
GitHub
clojure
Clojure ecosystem = babashka + clj + lein + shadow-cljs.
☆ 5View skill
GitHub
cider-clojure
CIDER integration for Clojure development with nREPL
☆ 5View skill
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...
☆ 5View skill
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
☆ 5View skill
GitHub
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
☆ 5View skill
GitHub
audit-context-building
Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.
☆ 5View skill
GitHub
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
☆ 5View skill
GitHub
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation
☆ 5View skill
GitHub
guile
GNU Scheme interpreter (67K lines info).
☆ 5View skill
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5View skill
GitHub
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
☆ 5View skill
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.