888 boosters for "pi" — open source, verified from GitHub, ready to install
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.
Maintain consistent structure across all bot configuration files: Implement multiple exit strategy types: 1. Time-based: Hold for fixed duration
Heuristic scoring (no AI key configured).
Leverage strings with drizzle types, instead of enums: Only use varchar for ids, similiar to the users table. Otherwise use text. When creating a new table, leverage the id util
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.
This skill helps you systematically assess where Bitcoin sits in its market cycle — from extreme fear (accumulation opportunity) to extreme greed (distribution/exit signal). Through a weighted evaluation of 13 on-chain, sentiment, and market indicators, it produces a 0-100 Market Heat Score and acti
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.
A deduplication skill that intelligently groups and selects canonical versions of duplicate events across multiple data sources using reputation scoring and hash-based matching. Ideal for developers building data aggregation systems, search engines, or multi-source content platforms.
Cursor Rules for Metriport provides TypeScript and architectural best practices for developers building with Metriport's healthcare data API, ensuring HIPAA-compliant, maintainable code through enforced naming conventions, functional programming patterns, and code organization standards.
  Awesome Claude Code plugins — a curated list of slash commands, subagents, MCP servers, and hooks for Claude Code
"name": "dotnet-skills", "description": "Comprehensive .NET development skills and agents for Claude Code - covering C#, F#, Akka.NET, Aspire, testing frameworks, and specialized tools", "name": "Aaron Stannard",
Read and follow the CONTRIBUTING.md file in this repository for all code style conventions, commit message format, and development guidelines.
A web search MCP server powered by Brave Search API, enabling Claude and other AI tools to search the web, find local businesses, and retrieve images in real-time. Useful for developers building AI applications that need current information beyond training data.
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.
Browse once, cache the APIs, reuse them instantly. First call discovers and learns the site's APIs (~20-80s). Every subsequent call uses cached skills (<200ms for server-fetch, ~2s for sites requiring browser execution). When the task touches docs, install guidance, eval claims, landing-page copy, r
<!-- This file is derived from CLAUDE.md. Keep them in sync. --> A lightweight, file-backed vector database for Node.js and browsers with Pinecone-compatible filtering and hybrid BM25 search.
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
Meigen is a visual creative expert MCP server that enables Claude to search design inspiration, enhance AI image prompts, and generate images through intelligent workflow orchestration. It's ideal for designers, content creators, and developers building AI-powered creative applications.
"version": "0.25.0", "description": "Datadog API CLI with 49 command groups, 300+ subcommands. Skills and domain agents for monitoring, logs, APM, security, and infrastructure.", "email": "support@datadoghq.com"
Automates the release process for Claw skills including version bumping, git tagging, and release verification. Essential for maintainers and developers publishing skills to the ClawSec catalog.
This skill helps configure Laravel Nightwatch data collection to balance observability, performance, and privacy. Covers sampling strategies, filtering rules, and redaction methods across all event types. The Nightwatch Documentation is the definitive and up-to-date source of information for all Nig
Frontmatter fields above are primarily for Claude Code / OpenClaw. author: Agents365-ai category: Content Creation
This booster helps developers quickly scaffold production-ready FastAPI projects with industry best practices including async patterns, dependency injection, and error handling. It's ideal for Python developers building new APIs, microservices, or backend applications.
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.
