342 boosters for "copilot" — open source, verified from GitHub, ready to install
<!-- AUTO-GENERATED FILE. DO NOT EDIT MANUALLY. --> <!-- Source: tools/ai/llms-base.txt + tools/ai/aicontextheader.md --> <!-- Regenerate with: python tools/ai/generateaicontext_files.py -->
Unity-MCP generates custom requirement checklists that validate the quality and completeness of feature specifications rather than testing implementation. Developers and product teams benefit by ensuring requirements are clear, specific, and testable before development begins.
Halmos is a symbolic execution tool for EVM smart contracts that integrates with Copilot to help developers write and verify property-based tests in Solidity. It enables security-focused developers to automatically find bugs and verify contract correctness using SMT solvers.
A GitHub Copilot instruction set that standardizes CHANGELOG maintenance and Dart/Flutter API documentation for the shadcn/ui Flutter ecosystem. Developers benefit from deterministic, high-quality contribution guidelines that ensure consistency across the project.
A Copilot instruction set that helps reviewers identify breaking API changes in the Microsoft Graph .NET SDK, preventing regressions when library updates occur. Developers and SDK maintainers benefit from automated detection of non-additive signature changes.
Read and follow the CONTRIBUTING.md file in this repository for all code style conventions, commit message format, and development guidelines.
A comprehensive system prompt for GitHub Copilot that establishes coding standards and best practices for the LINUX DO CDK project, covering backend (Go/REST/MySQL), frontend (TypeScript), and general development guidelines. Developers working on this project benefit from consistent, enforceable code quality standards.
PowerDocu is a .NET 10 Windows application that auto-generates technical documentation for Microsoft Power Platform components (Cloud Flows, Canvas Apps, Model-Driven Apps, Copilot Studio Agents, AI Models, Business Process Flows, Desktop Flows, and Solutions). Output formats are Word (.docx), Markd
goboscript is a Copilot instruction set that teaches the AI assistant how to generate code in goboscript, a Scratch compiler written in Rust. It benefits developers who want to use Copilot to write goboscript programs with proper syntax and language-specific rules.
You are the game engine for an interactive learning experience. Read and follow all instructions in .
Chef-vault Copilot Instructions provides GitHub Copilot with detailed repository structure and context for the chef-vault Ruby gem, enabling developers to securely manage passwords and secrets in Chef environments. Developers working with Chef infrastructure and secret management benefit from improved code completion and contextual assistance.
mq is a jq-like CLI tool for querying and transforming Markdown files, with development guidelines covering Rust conventions, project structure, and multi-platform integrations (LSP, DAP, WASM, Python). Developers building Markdown processing pipelines or contributing to the mq project benefit from these structured instructions.
"description": "Open-source cross-agent memory layer for coding agents across Cursor, Claude Code, Codex, Windsurf, Gemini CLI, Copilot, Kiro, OpenCode, Antigravity, and Trae via MCP.", "sideEffects": false, "memorix": "./dist/cli/index.js"
<laravel-boost-guidelines> === foundation rules === The Laravel Boost guidelines are specifically curated by Laravel maintainers for this application. These guidelines should be followed closely to enhance the user's satisfaction building Laravel applications.
Read and follow the instructions in AGENTS.md
A Socratic tutoring prompt for Copilot that guides students through coursework by providing hints and documentation references rather than direct answers. Ideal for educators and students seeking guided learning experiences in summer school settings.
This Copilot prompt establishes coding standards and best practices for the LINUX DO Credit project, covering backend (Go/PostgreSQL/Redis), frontend (TypeScript), and general development guidelines. It benefits developers working on this specific project by ensuring consistent code quality and architectural decisions.
Packmind is an MCP server that captures and enforces your organization's technical decisions and coding standards across AI coding assistants like Claude and Cursor. It's essential for teams wanting consistent code governance and architectural compliance across their AI-assisted development workflow.
"description": "A virtual design team for Claude Code, Cursor, Windsurf, Gemini CLI, and Copilot — powered by Naksha. Assembles specialist roles — UI designer, UX researcher, content designer, Figma expert, data viz, email, social, motion, presentation, brand strategy, illustration, video, conversat
Generate "Rules for AI". Quickly ✨
A security-focused prompt booster for .NET/ASP.NET Core development that enforces OWASP best practices and CWE mitigation in AI-generated code across Claude, Cursor, and Copilot. Developers building secure .NET applications benefit from automated security guardrails embedded in their coding workflow.
A Copilot prompt that helps Laravel developers discover and evaluate useful packages within their ecosystem. Ideal for developers building Laravel applications who want AI-assisted package discovery and recommendations.
This MCP server integrates Dynatrace monitoring and observability capabilities into Claude and Copilot, enabling developers to query application performance data, logs, and metrics directly within AI assistants. It benefits DevOps engineers, SREs, and developers who need real-time access to Dynatrace insights during troubleshooting and development workflows.
takeshi-bot is a WhatsApp Copilot instruction set that delegates core logic to an external AGENTS.md file for centralized rule management. It's designed for developers building WhatsApp bots on Copilot who want modular, maintainable prompt architecture.
