Search results

AI resources

• dotnet Plugin

  Provides integration for C# language server with .NET development skills for coding agents.

  Plugindotnet/skills

• dotnet11

  Skills for .NET 11 APIs and language features, focused on process management and JSON serialization.

  Plugindotnet/skills

• Advanced .NET Skills

  Provides advanced .NET and C# skills for niche scenarios and coding agents, enabling developers to handle specific development tasks without the overhead of using a full project.

  Plugindotnet/skills

• TlaLink Source Navigation

  Finds C# symbols and Roslyn declaration IDs, allows navigation of source positions, and provides inspection of member code and references.

  Skillmicrosoft/tlalink

• .NET Best Practices

  Ensures .NET/C# code meets best practices for the specific solution or project, including documentation, design patterns, dependency injection, async/await patterns, testing standards, and error handling.

  Skillgithub/awesome-copilot

• TlaLink Inspect Correspondence

  Inspect TlaLink source/model correspondence by inlining TLA+/PlusCal, Dafny or P declarations with C# code for review purposes.

  Skillmicrosoft/tlalink

• MPS BaseLanguage Authoring Skill

  Author and edit MPS `jetbrains.mps.baseLanguage` (Java) nodes using either a Java parser or JSON AST blueprints, with capabilities for validating and manipulating code structures in MPS models.

  SkillJetBrains/MPS

• Google Cloud Storage Plugin

  Official Google Cloud Storage (GCS) plugin that provides tools and vetted skills for managing buckets and objects, transferring data, and configuring various aspects of cloud storage.

  Plugingoogle/skills

• Release Notes Assistant

  Assists in writing per-PR changelog entries and drafting F# release announcements and articles for .NET milestones.

  Skilldotnet/dotnet

• C#/.NET Design Pattern Review

  Reviews C#/.NET code for design pattern implementation and suggests improvements without altering the code.

  Skillgithub/awesome-copilot