Chiasmus is an MCP server that gives language models access to formal verification

Open-source local workbench for multi-agent software development.

Agent Skills for computational materials science -- numerical stability, solvers, meshing, convergence, and simulation workflows.

General-purpose Playwright automation for coding agents

The AI security agent guards your code.

⌥ Coding agent with the IDE wired in

Terraform & OpenTofu Skill for AI Agents - testing, modules, CI/CD, and production patterns

TAKT Agent Koordination Topology - Define how AI agents coordinate, where humans intervene, and what gets recorded — in YAML

Local first, desktop companion platform with animated pets, plugin SDK and coding-agent integrations.

🔥 Lightweight, Airbrake/Sentry-compatible, PostgreSQL-based Open Source Error Catcher

Rust MCP server for comprehensive code intelligence - 90 tools, 32 languages, security scanning, call graphs, and more

Semantic code intelligence MCP server for Claude Code - project maps, symbol search, impact analysis, and more

Agent coordination protocol — declare intents, lock symbols, detect conflicts before code is written

Web, Desktop & Mobile client for Codex, Claude Code, OpenCode, Kimi, Augment Code, Qwen, fully end-to-end encrypted

A Claude Code skill that 10x's your effective context window by dispatching tasks to background AI workers.

Evaluate agent skill quality. Find the weakest link. Fix it. Prove it worked.

Laravel Loop is a powerful Model Context Protocol (MCP) server designed specifically for Laravel applications. It connects your Laravel application with AI assistants using the MCP protocol.

Use cultivar to test your Agent Skills, run them in sandboxes, and across different agents.

mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.

Guard skills for coding agents, quality gates that catch AI-generated failure modes in code, tests, and docs

TDA - Thread Dump Analyzer (for Java). Analyze your Thread Dumps with a GUI or use it as MCP Server.

Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.

AI-driven quality & governance MCP Server for dbt projects. Audit coverage, profile data, detect schema drift, and auto-generate documentation — all through natural language with your AI assistant.

A collection of skills for AI coding agents working with Azure Cosmos DB. Skills are packaged instructions and scripts that extend agent capabilities.