Automatically detect and provide all agent profiles in .github/agents (main FStar repo) as agents in VS Code.
Use the VS Code Chat API to programmatically register these agents, making them accessible to users directly in the editor.
Ideally, the build process automatically pulls the latest ones and or checks if they change.
Automatically detect and provide all agent profiles in
.github/agents(main FStar repo) as agents in VS Code.Use the VS Code Chat API to programmatically register these agents, making them accessible to users directly in the editor.
Ideally, the build process automatically pulls the latest ones and or checks if they change.