ide-plugins
2
ia-presenter-themes
This skill should be used when creating, modifying, or troubleshooting custom themes for iA Presenter.
AJBcoding
tools
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
ide-plugins
2
effective-neovim
This skill should be used when writing, reviewing, or refactoring Neovim plugins in Lua. Apply Neovim community best practices, plugin architecture patterns, and idiomatic Lua style to ensure clean, maintainable plugins.
kylesnowschwartz
tools
ide-plugins
2
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
plurigrid
tools
ide-plugins
2
koan-mcp-integration
MCP server patterns, Code Mode integration, tool building
sylin-org
tools
ide-plugins
2
xcb-config
Configure xcb.json to map Xcode schemes to workspaces/projects for building with xcb
jcfontecha
tools
ide-plugins
2
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
plurigrid
tools
ide-plugins
2
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
plurigrid
tools
ide-plugins
2
typescript-lsp
TypeScript Language Server Protocol capabilities for navigating TypeScript/JavaScript code. Resolves imported symbols to their definitions (including node_modules), finds all references to functions/classes/variables, gets type information and signatures, previews rename impacts, and checks TypeScript diagnostics. Use when you need to find where ToolLoopAgent or other imports are defined, locate all usages of a function, see TypeScript types, or get compiler errors.
tenequm
tools
ide-plugins
2
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
plurigrid
tools
ide-plugins
2
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
plurigrid
tools
ide-plugins
2
naming-conventions
Naming conventions for types, functions, files, and resources. Use when creating new code or reviewing naming patterns. Emphasizes type-driven development.
crmagz
tools
ide-plugins
2
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation
plurigrid
tools
ide-plugins
2
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
plurigrid
tools
ide-plugins
2
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation in Clojure code analysis.
plurigrid
tools
ide-plugins
2
neovim-configuration
Modern Neovim configuration expertise including Lua scripting, plugin management with lazy.nvim, LSP setup with Mason, AI integration with CodeCompanion, and workflow optimization. Covers keymaps, autocommands, and treesitter configuration. Use when user mentions Neovim, nvim, lazy.nvim, Mason, init.lua, Lua config, nvim plugins, or Neovim customization.
laurigates
tools
ide-plugins
2
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style deriving
plurigrid
tools
ide-plugins
2
hooks-configuration
Claude Code hooks configuration and development. Covers hook lifecycle events, configuration patterns, input/output schemas, and common automation use cases. Use when user mentions hooks, automation, PreToolUse, PostToolUse, SessionStart, or needs to enforce consistent behavior in Claude Code workflows.
laurigates
tools
ide-plugins
2
strict-typing
Use when writing code in typed languages - enforces full typing with no any/unknown/untyped escapes, even if it requires extra time
troykelly
tools
