Search results

AI resources

• LSP Setup for GitHub Copilot CLI

  Enables code intelligence by installing and configuring Language Server Protocol servers for Copilot CLI, allowing features like go-to-definition and find-references for programming languages.

  Skillgithub/awesome-copilot

• dotnet Plugin

  Integrates C# language server capabilities for coding agents and provides essential .NET development skills.

  Plugindotnet/skills

• dotnet11

  Provides skills focused on new APIs and language features introduced in .NET 11, including improvements for process management and JSON serialization.

  Plugindotnet/skills

• MPS BaseLanguage Authoring Skill

  Author and edit MPS 'jetbrains.mps.baseLanguage' (Java) nodes, enabling the mapping of Java syntax to BaseLanguage concepts and the creation of code inside MPS models.

  SkillJetBrains/MPS

• Advanced .NET Skills

  Provides advanced .NET and C# skills for niche scenarios in development, including advanced P/Invoke, file-based C# applications, and custom NuGet publishing.

  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

• Java LSP Tools

  Provides tools for Java Language Server navigation, including symbol lookup and file structure outlines for Java files.

  Skillmicrosoft/vscode-java-dependency

• HasData Web Scraping

  Fetch any public web page through managed proxies, with optional JavaScript rendering and extraction rules.

  MCP serverGitHub MCP Registry

• .NET Best Practices

  Guide for ensuring .NET/C# code meets best practices for documentation, design, dependency injection, testing, and more.

  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