Search Results for "copilot"
Sort By:
Showing 31 open source projects for "copilot"
View related business solutions-
Auth0 for AI Agents now in GAConnect your AI agents to apps and data more securely, give users control over the actions AI agents can perform and the data they can access, and enable human confirmation for critical agent actions.
-
Rezku Point of SaleRezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
-
1
Lean Copilot
LLMs as Copilots for Theorem Proving in Lean
LeanCopilot integrates large language models (LLMs) as copilots for theorem proving in the Lean proof assistant. It assists users by suggesting tactics, premises, and searching for proofs, thereby enhancing the efficiency of formal verification processes. LeanCopilot supports both built-in models from LeanDojo and custom models, offering flexibility for various use cases. -
2
GitHub Copilot CLI
GitHub Copilot CLI brings the power of Copilot coding agent
...The Copilot can leverage repository context when making suggestions. The tool is currently in public preview and is evolving. Preview proposed changes before committing or applying them. Extensibility via MCP (Modular Copilot Platform) servers or custom servers. -
3
Copilot.vim
Neovim plugin for GitHub Copilot
Copilot.vim is a plugin that integrates GitHub Copilot — the AI code completion tool from GitHub — with Vim and Neovim. It effectively brings inline AI-powered code suggestions into the editor: you type a comment or a function name (or simply start coding) and Copilot proposes completions which you can accept (often via Tab) or reject. The plugin supports a variety of languages and code contexts, just as Copilot itself does, and aims to make the interaction feel native in Vim. ... -
4
TalkingHeads
A library to communicate with ChatGPT, Claude, Copilot, Gemini
TalkingHeads is a Python library designed to facilitate communication with various AI chat agents, including ChatGPT, Claude, Copilot, Gemini, HuggingChat, and Pi. It provides a unified interface for interacting with these platforms, simplifying the integration of conversational AI capabilities into applications. TalkingHeads supports browser automation and offers tools to manage sessions, handle prompts, and process responses effectively. -
Create and run cloud-based virtual machines.Computing infrastructure in predefined or custom machine sizes to accelerate your cloud transformation. General purpose (E2, N1, N2, N2D) machines provide a good balance of price and performance. Compute optimized (C2) machines offer high-end vCPU performance for compute-intensive workloads. Memory optimized (M2) machines offer the highest memory and are great for in-memory databases. Accelerator optimized (A2) machines are based on the A100 GPU, for very demanding applications.
-
5
CodeCompanion
AI-powered coding, seamlessly in Neovim. Supports Anthropic, etc.
Currently supports Anthropic, Copilot, Gemini, Ollama and OpenAI adapters. -
6
CopilotKit
Build in-app AI chatbots, and AI-powered Textareas
A bridge between your copilot and your app. A programmable 2-way bridge between your copilot, and your application state (client & cloud). Supports 3rd party integrations (e.g. Salesforce, Zendesk, etc.). Plug-and-play, fully customizable, copilot infrastructure. Build in-app AI chatbots that can "see" the current app state + take action inside your app. The AI chatbot can talk to your app frontend & backend, and to 3rd party services (Salesforce, Dropbox, etc.) via plugins. ... -
7
Chromium
The official GitHub mirror of the Chromium source
...As we add support for multiple coding IDE/agents, we will likely pull common prompts and instructions into a central directory with stubs for bespoke IDE/agent integration. Please check with your organization before using GitHub Copilot. copilot-intructions.md is typically a single instruction file that contains default instructions for a workspace. These instructions are automatically included in every chat request. -
8
Chatbox
The Ultimate Copilot on Your Desktop
Chatbox is the ultimate copilot on your desktop. Chatbox is a desktop app for GPT-4 / GPT-3.5 (OpenAI API) that supports Windows, Mac & Linux. Directly testing ChatGPT API (OpenAI API) might be challenging for those with no programming background. By using Chatbox, you can perform such experiments in a convenient way. Chatbox stores all chat messages and prompts locally, thus reducing the risk of data loss. -
9
HexStrike AI MCP Agents
HexStrike AI MCP Agents is an advanced MCP server
...The server exposes typed tools and guardrails so agent prompts translate to concrete, parameterized actions rather than brittle shell strings. It ships with curated tool adapters, task orchestration, and guidance for connecting popular agent clients (Claude, GPT, Copilot) to a hardened execution environment. Documentation highlights the breadth of supported utilities and positions HexStrike as a research and red-team aid, not a point-and-click exploit kit. A public site and active repository activity signal an expanding community around autonomous security research agents. -
Zendesk: The Complete Customer Service SolutionEquip your agents with powerful AI tools and workflows that boost efficiency and elevate customer experiences across every channel.
-
10
Tabby
Self-hosted AI coding assistant
Tabby is a self-hosted AI coding assistant, offering an open-source and on-premises alternative to GitHub Copilot. -
11
OpenCode
A powerful AI coding agent. Built for the terminal.
...Built in Go, it offers a smooth TUI (Terminal User Interface) experience powered by Bubble Tea, enabling seamless interaction without leaving the command line. It supports multiple AI providers, including OpenAI, Anthropic Claude, Google Gemini, AWS Bedrock, Groq, Azure OpenAI, and GitHub Copilot. Developers can use it for intelligent code completion, debugging, file editing, and session management while staying entirely within their terminal environment. With support for the Language Server Protocol (LSP), OpenCode enhances code intelligence across multiple languages. Although archived, the project has evolved into Crush, actively maintained by the Charm team. -
12
Semantic Kernel
Integrate cutting-edge LLM technology quickly and easily into your app
Semantic Kernel is an open-source SDK that lets you easily combine AI services like OpenAI, Azure OpenAI, and Hugging Face with conventional programming languages like C# and Python. By doing so, you can create AI apps that combine the best of both worlds. To help developers build their own Copilot experiences on top of AI plugins, we have released Semantic Kernel, a lightweight open-source SDK that allows you to orchestrate AI plugins. With Semantic Kernel, you can leverage the same AI orchestration patterns that power Microsoft 365 Copilot and Bing in your own apps, while still leveraging your existing development skills and investments. -
13
AutoDev
The AI-powered coding wizard
The AI-powered coding wizard with multilingual support, auto code generation, and a helpful bug-slaying assistant. Customizable prompts and a magic Auto Dev/Testing/Document/Agent feature are included. -
14
FastHTML
The fastest way to create an HTML app
Built on solid web foundations, not the latest fads - with FastHTML you can get started on anything from simple dashboards to scalable web applications in minutes. -
15
Void Editor
Open source AI IDE and Cursor alternative
Void is an open-source, AI-powered code editor built as a fork of Visual Studio Code. Designed as a fully transparent and privacy-focused alternative to Cursor or GitHub Copilot, it lets you use AI models locally or via APIs (OpenAI, Claude, Gemini, Ollama, etc.)—without routing data through proprietary servers. Developed by YC-backed startup Glass Devtools, it supports traditional coding features inherited from VS Code, enhanced with in-editor LLM capabilities—autocomplete, inline quick edits, and chat agents, all while giving developers total prompt and data control. -
16
GitHub MCP Server
GitHub's official MCP Server
The GitHub MCP Server exposes GitHub as a Model Context Protocol server so AI assistants can safely act on repos, issues, pull requests, gists, and more through a consistent tool interface. It’s designed to run locally or remotely and then be attached to MCP-capable clients (for example, Copilot Chat) so an LLM can search code, open files, create branches, draft PRs, label or triage issues, and query metadata without hard-coding GitHub APIs. The server defines tools and resources with fine-grained scopes, leaning on GitHub’s auth to enforce least privilege and auditable access. It supports both stdio and HTTP transports, enabling IDE and headless integrations, and adopts common MCP behaviors like prompts, schemas, and tool definitions to keep agent calls predictable. ... -
17
Mentat
Mentat - The AI Coding Assistant
Mentat is the AI tool that assists you with any coding task, right from your command line. Unlike Copilot, Mentat coordinates edits across multiple locations and files. And unlike ChatGPT, Mentat already has the context of your project, no copy and pasting is required. Run Mentat from within your project directory. Mentat uses Git, so if your project doesn't already have Git set up, run git init. List the files you would like Mentat to read and edit as arguments. -
18
Ultracite
A highly opinionated, zero-configuration linter and formatter
...The project emphasizes type-safety and best practices, enforcing stricter rules out of the box so that unsafe or sloppy patterns are discouraged. It also positions itself as “AI-ready,” meaning it’s designed to integrate smoothly into workflows where AI code generation (e.g., from Copilot, Claude Code, etc) is involved, ensuring consistent style across team-written and machine-written code. -
19
PowerTools for Winux
PowerTools advanced tools for Winux
** Only for Linuxfx Winux Operating System ** PowerTools Professional extends the capabilities of Winux, transforming your operating system into a powerful tool for work, play and secure internet activities. With PowerTools you get the following features: -
20
Omnara
Talk to Your AI Agents from Anywhere
Omnara is an open-source agent control platform that empowers developers to turn autonomous AI tools (e.g., Claude Code, Cursor, GitHub Copilot) into collaborative teammates by offering real-time dashboards, push notifications, and remote guidance across terminals, web, and mobile. Omnara transforms your AI agents (Claude Code, Codex CLI, n8n, and more) from silent workers into communicative teammates. Get real-time visibility into what your agents are doing, and respond to their questions instantly from a single dashboard on web and mobile. ... -
21
windsurf.vim
Free, ultrafast Copilot alternative for Vim and Neovim
windsurf.vim is a plugin for Vim and Neovim by Exafunction (formerly part of the Codeium project) that brings in AI-driven code completion and assistance capabilities. The aim is to provide a “free, ultrafast” alternative to other AI code assistants (such as GitHub Copilot) directly within Vim/Neovim. Once installed and configured, windsurf.vim can suggest code completions, generate multi-line snippets based on comments or invitation in code, and make the editing experience more predictive... -
22
Tambo
Add generative UI components to your AI assistant, copilot, or agent
Tambo is a React-oriented AI orchestration framework that enables integration of “generative UI” components—that is, components that can be dynamically rendered or updated in response to AI decisions or prompts. It acts as the bridge between an AI assistant and the React front end, letting your AI agent not only send text responses, but also generate interactive UI elements (forms, charts, dashboards, etc.). The library includes tools to scaffold a Tambo app, manage state, and integrate with... -
23
Visual Studio Code client for Tabnine
Visual Studio Code client for Tabnine
...Tabnine will increase your development velocity with real-time code completions, chat, and code generation in all the most popular coding languages and IDEs. Whether you call it IntelliSense, intelliCode, autocomplete, AI-assisted code completion, AI-powered code completion, AI copilot, AI code snippets, code suggestion, code prediction, code hinting, content assist, unit test generation or documentation generation, using Tabnine can massively impact your coding velocity, significantly cutting down your coding time. -
24
FlowLens MCP
Open-source MCP server that gives your coding agent
FlowLens MCP Server is an open-source tool designed to give AI-powered coding agents (like Claude Code, Cursor, GitHub Copilot / Codex, and others) full, replayable browser context to dramatically improve debugging, bug reporting, and regression testing for web applications. It works together with a companion browser extension: when a user reproduces a bug or a complicated UI interaction, the extension captures a rich session log, including screen/video recording, network traffic, console logs, DOM events, storage changes, and more, and exports it. ... -
25
ThinkReview
AI-powered code reviews for GitLab & Azure DevOps. Zero setup. Powered
I Copilot for Gitlab and Azure DevOps Merge requests (MRs) and Pull Requests (PRs) in your browser. The extension Summarises merge requests , provided suggestions and find potential security issues , provide smart questions to dive deeper and chat with your pull requests The extension works out of the box without any complex setup - Supports custom Self hosted Gitlab as well as gitlab.com and gitlab enterprise Enhance your GitLab MRs and Azure Devops PRsworkflows with automatic patch diff access and AI-powered code reviews. ...
