tools ide plugins Skills
Discover the best skills in this category.
juvix-intents
by plurigrid
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
geiser-chicken
by plurigrid
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
clj-kondo-3color
by plurigrid
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation in Clojure code analysis.
cider-clojure
by plurigrid
CIDER integration for Clojure development with nREPL
static-security-analyzer
by plurigrid
Wrapper around Tizen Studio static analyzer. Detects memory leaks, buffer overflows, and coding vulnerabilities in C/C++...
clojure
by plurigrid
Clojure ecosystem = babashka + clj + lein + shadow-cljs.
cider-clojure
by plurigrid
CIDER integration for Clojure development with nREPL
substitute-eraser
by plurigrid
This skill should be used when the user asks to "scan for TODOs", "find placeholders", "clean up stubs", "remove tempora...
geiser-chicken
by plurigrid
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
nickel
by plurigrid
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe co...
audit-context-building
by plurigrid
Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug findi...
cider-embedding
by plurigrid
Semantic embeddings for Clojure code navigation via CIDER
clj-kondo-3color
by plurigrid
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation
proofgeneral-narya
by plurigrid
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version contro...
cider-embedding
by plurigrid
Semantic embeddings for Clojure code navigation via CIDER
validate-lint
by BerryKuipers
Run ESLint and Prettier validation to check code style, formatting, and linting rules. Works with any TypeScript/JavaScr...
validate-lint
by BerryKuipers
Run ESLint and Prettier validation to check code style, formatting, and best practices. Returns structured output with e...
type-hardening
by BerryKuipers
Incrementally improve type safety by replacing string literals with enums, narrowing `any` types, and using shared types...
droid-mode
by Gitmaxd
Progressive Code-Mode MCP integration for Factory Droid. Discover tools incrementally, hydrate schemas on demand, and ru...
Reference Warren's Neovim configuration (~/.config/nvim) with LSP, plugins, and directory structure.
This snippet should be used when writing Neovim plugins with Lua, focusing on type safety, modular architecture, and bes...