GitHub
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
Skills IA documentation ide plugins
Découvrez les skills documentation ide plugins, comparez leurs dépôts et consultez leurs instructions.
Catégories: documentation ide plugins
documentation ide plugins Effacer les filtres
Explorer
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
GitHub
code-simplifier
Guide for simplifying and refining code after coding sessions. Use when cleaning up complex code, reviewing PRs for readability, or applying consistent refactoring patterns.
GitHub
code-auditing
Provides code auditing methodology, checklists, and best practices. Use when user asks to "audit code", "find technical debt", "security review", "identify dead code", "analyze code quality", or "check best pra...
GitHub
workflow-review
Reviews Claude Code sessions and proposes workflow improvements. Use when: (1) /workflow-review command, (2) "review my workflow", "how can I improve", (3) after long sessions when nudged, (4) start of session...
GitHub
codex
AI peer review via OpenAI Codex CLI. Use when reviewing code changes, validating technical decisions, comparing implementation approaches, or getting a second opinion on architecture choices. Triggers on /codex...
GitHub
type-safety-patterns
TypeScript厳格モードによる型安全性設計を専門とするスキル。 型推論、型ガード、ジェネリック、識別可能ユニオンのパターンを体系的に設計します。 Anchors: • 『Effective TypeScript』（Dan Vanderkam） / 適用: 型設計原...
GitHub
linting-formatting-automation
Code quality automation for linting and formatting. Provides ESLint, Prettier, Biome setup, CI/CD integration, pre-commit hooks, and tool migration strategies for consistent code style enforcement. Anchors: •...
GitHub
rules-repo-conventions
Apply Rules Repository conventions and forward-only workflow. Use when generating or editing docs, prompts, or code in projects that consume this repository or when this repository is the active workspace. Ensu...
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é.