LLMs as Copilots for Theorem Proving in Lean
AI assistant for ComfyUI workflow generation, debugging, and tuning
AI assistant plugin that brings chat, search, and agents to Obsidian
GitHub Copilot CLI brings the power of Copilot coding agent
GitHub Copilot for Vim and Neovim
Multi-platform SDK for integrating GitHub Copilot Agent into apps
Build in-app AI chatbots, and AI-powered Text areas
MCP Server and CLI for accessing Work IQ
AI-powered coding, seamlessly in Neovim. Supports Anthropic, etc.
Local CLI Copilot, powered by Ollama
Accelerate Claude Code/GitHub Copilot
The Ultimate AI Copilot on Your Desktop
Better agentic engineering
HexStrike AI MCP Agents is an advanced MCP server
Integrate cutting-edge LLM technology quickly and easily into your app
Open-source AI coworker, with memory
GitHub Agentic Workflows
World's first AI meeting copilot
The leading open-source AI copilot for JetBrains
Create architecture diagrams from code automatically using LLMs
Curated plugin marketplace for AI agents
Official Microsoft Learn MCP Server, powering LLMs and AI agents
Anthony Fu's curated collection of agent skills
The AI-powered coding wizard
Open source AI IDE and Cursor alternative