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...
☆ 5查看技能
content media ide plugins AI 技能
发现 content media ide plugins 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: content media ide plugins
content media ide plugins 清除筛选
全部技能
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...
☆ 5查看技能
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.
☆ 5查看技能
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style deriving
☆ 5查看技能
GitHub
hy-emacs
Hylang Emacs integration with hy-mode, Hyuga LSP, and DisCoPy sexp coloring
☆ 5查看技能
GitHub
org-babel-execution
Literate programming execution engine via org-babel for polyglot skill execution
☆ 5查看技能
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...
☆ 5查看技能
GitHub
proofgeneral-narya
Proof General + Narya: Higher-dimensional type theory proof assistant with observational bridge types for version control.
☆ 5查看技能
GitHub
zls-integration
"zls-integration skill"
☆ 5查看技能
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style
☆ 5查看技能
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
☆ 5查看技能
GitHub
emacs
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
☆ 5查看技能
GitHub
type-checker
Type Checker Skill
☆ 5查看技能
GitHub
ewig-editor
The eternal text editor — Didactic Ersatz Emacs demonstrating immutable
☆ 5查看技能
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
☆ 5查看技能
GitHub
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
☆ 5查看技能
GitHub
elisp
Emacs Lisp reference (106K lines info).
☆ 5查看技能
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
☆ 5查看技能
GitHub
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation in Clojure code analysis.
☆ 5查看技能
GitHub
cider-clojure
CIDER integration for Clojure development with nREPL
☆ 5查看技能
GitHub
static-security-analyzer
Wrapper around Tizen Studio static analyzer. Detects memory leaks, buffer overflows, and coding vulnerabilities in C/C++/JavaScript.
☆ 5查看技能
GitHub
clojure
Clojure ecosystem = babashka + clj + lein + shadow-cljs.
☆ 5查看技能
GitHub
cider-clojure
CIDER integration for Clojure development with nREPL
☆ 5查看技能
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...
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。