Search results

AI resources

• Java LSP Tools

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

  Skillmicrosoft/vscode-java-dependency

• 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

• 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

• TlaLink Inspect Correspondence

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

  Skillmicrosoft/tlalink

• Java Documentation Skills

  Ensures that Java types are documented with Javadoc comments and follows best practices for documentation.

  Skillgithub/awesome-copilot

• Azure SDK for Java

  Azure SDK patterns and best practices for Java developers covering skills in AI, communication, storage, identity, monitoring, and management libraries.

  Pluginmicrosoft/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

• MPS Collections and Closures Skill

  Provides guidance for writing or editing MPS BaseLanguage code using collections and closures language extensions.

  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