ide-plugins
0
agents-ide-usage
Use agents-ide MCP tools for faster code exploration and manipulation
ofekron
tools
domain cluster
Tools & Utilities
Essential command-line tools and system utilities.
32082 مهارةall categories
sorting
stars
current ordering strategy
query
all entries
refine the visible subset
ide-plugins
0
migrating-ast-node
Migrate an ast node definition from java to go
heshanpadmasiri
tools
ide-plugins
0
east
East programming language - a statically typed, expression-based language embedded in TypeScript. Use when writing East programs with @elaraai/east. Triggers for: (1) Writing East functions with East.function() or East.asyncFunction(), (2) Defining types (IntegerType, StringType, ArrayType, StructType, VariantType, etc.), (3) Using platform functions with East.platform() or East.asyncPlatform(), (4) Compiling East programs with East.compile(), (5) Working with East expressions (arithmetic, collections, control flow), (6) Serializing East IR with .toIR() and EastIR.fromJSON(), (7) Standard library operations (formatting, rounding, generation).
elaraai
tools
ide-plugins
0
figma-screenshot-extractor
Extract and save Figma screenshots from Codex session logs when user needs to recover images captured by the Figma MCP server
edneyreis999
tools
ide-plugins
0
plantuml-stdlib
Find PlantUML Standard Library (stdlib) modules and suggest `!include <...>` paths (C4-PlantUML, icons, macros, etc.).
masayannuu
tools
ide-plugins
0
astrolabe-common
Base .NET utilities library providing exceptions (NotFoundException, ForbiddenException), LINQ extensions, list editing with change tracking, and reflection utilities. Use when working with Astrolabe.Common or needing common .NET utilities.
astrolabe-apps
tools
ide-plugins
0
csharp-project-expert
ALWAYS use for ANY C# operation: renaming (files/classes/methods/properties/namespaces), finding references/usages ("where is X used"), finding definitions ("where is X defined"), understanding code structure (hierarchies/dependencies/relationships). Roslyn-powered semantic analysis ensures all references are updated correctly across the entire solution.
pvasek
tools
ide-plugins
0
mcp-structure-skill
Guidance and snippets for creating/updating Codex skills tailored to the mcp-coding-agent project (AST/dependency tooling). Use when asked to build a new skill or refine one for this repo’s workflows and structure.
ashcastelinocs124
tools
ide-plugins
0
typescript
TypeScript coding conventions and best practices. Use when working with TypeScript files, defining types, or setting up TypeScript projects.
laulauland
tools
ide-plugins
0
skill-creator
Use when creating or editing skills for ai-coding-config repo
Light-Brands
tools
ide-plugins
0
fstar
F* proof-oriented programming language for verified software development. Use when: (1) writing or verifying F* code (.fst/.fsti files), (2) understanding verification errors from Z3/SMT, (3) learning dependent types, refinement types, or theorem proving, (4) extracting verified code to C via Karamel or to OCaml, (5) working with Low*, Steel, or Pulse DSLs, (6) setting up F* projects with mise. Triggers: F* code, fstar.exe, refinement types, SMT solver errors, z3rlimit, fuel/ifuel, verification conditions, dependent types, Karamel/krml extraction.
asimihsan
tools
ide-plugins
0
typescript-best-practices
TypeScript development best practices, patterns, and conventions. Use when writing TypeScript code, reviewing .ts/.tsx files, discussing type safety, generics, utility types, or TypeScript project configuration. Triggers on mentions of TypeScript, tsconfig, type inference, generics, discriminated unions, React TypeScript.
eous
tools
ide-plugins
0
rust-patterns
Rust idioms, patterns, and gotchas to write better Rust code
PierreZ
tools
ide-plugins
0
netninja-gui-wireup
Verify and fix NET-NiNJA GUI wiring so every control maps to a real handler and backend action. Use when auditing UI behavior, fixing no-op buttons/tabs, or producing a control-to-handler/backend map.
aztr0nutzs
tools
ide-plugins
0
typescript
TypeScript type system for type-safe JavaScript development. Covers types, interfaces, generics, and configuration for both frontend and backend. Trigger: When writing TypeScript code, when defining types or interfaces, when using generics, when configuring tsconfig.json.
Dsantiagomj
tools
ide-plugins
0
code-search
Searches code for patterns, keywords, function names, or text
rtkelly13
tools
ide-plugins
0
tailwind-architect
This skill should be used when generating, refactoring, or maintaining Tailwind CSS code. It enforces the Oxide CSS-first configuration model, @theme-based design tokens, v4.1-native utilities, and structured migration from Tailwind v3, while preventing legacy configuration, plugin usage, and arbitrary-value or hex-based styling.
Cissou34730
tools
ide-plugins
0
entry-point-check
验证 VS 的 entry_points 字段是否与 SPEC_PRJ_ENTRYPOINTS（入口类型标签）一致，生成缺失入口清单和补充建议。当准备 CONSTRAINT 验收前使用。
tikazyq
tools
ide-plugins
0
typescript-dev
TypeScript development guidelines and patterns. Use this skill when writing TypeScript code, creating React components with TypeScript, configuring tsconfig.json, using advanced types like generics or utility types, or when the user asks about TypeScript best practices.
aRustyDev
tools
ide-plugins
0
typescript
Adds static typing to JavaScript with TypeScript including type annotations, interfaces, generics, and advanced type utilities. Use when setting up TypeScript projects, defining types, creating generic utilities, or debugging type errors.
mgd34msu
tools