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

Control 1 or more machines using computer use tools that integrates with your agents

An atelier for your Agent: spec-driven workflows, deep thinking, and code quality.

The definitive guide & configuration system for GitHub Copilot CLI — agents, skills, rules, multi-AI orchestration, and more

AI code reviews grounded in 12 classic engineering books — decay risk diagnostics with book citations, severity labels, and 6 analysis modes including full-sweep auto-fix

A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent

Zero-config React with built-in SSR, automated quality gates, and AI-ready project structure - ship clean code whether you write it yourself or with an AI assistant.

The MATLAB Agentic Toolkit brings trusted MATLAB capabilities to AI agents, making engineering and scientific workflows agent-ready.

The environment engine for agent worktrees - zero-config dep sync + port/DB/compose isolation

AAS Core is the local, agent-first control plane for complete catalog discovery, agent-owned selection, stack validation, and planning, backed by 2,115+ agentic skills. Includes CLI, local MCP, catalog, plugins, and Workbench.

ADR secures enterprise AI agents through observability, security benchmarking, and threat detection. Deployed at Uber.

Codex-first Ultracode skill for dynamic coding workflows

Automated quality checks that nudge AI coding agents toward better habits

Deletion-first Agent Skill for removing test bloat, verification theater, and speculative fallbacks while preserving behavior.

OpenTelemetry skills and reference documentation for AI coding assistants - instrumentation patterns, telemetry quality guides, and Dash0 integration

turns your codebase into an autoresearch loop — discovers what to measure, instruments the benchmark, then runs tree search with parallel subagents.

Turn tracker tickets into autonomous agent sessions

lnwjud — local AI-agent runtime & MCP gateway

Agent skills for Alpaca's Trading API and Broker API: drop-in SKILL.md files for AI coding assistants

Helping the Agents Compose the Things

GitHub-style CLI for Jenkins — manage contexts, runs, logs, and admin tasks from your terminal.

Tools for AI agents to test, fix and optimise your codebase

⚡️ 10x - Up to 20x faster AI coding with multi-step Superpowers. Open-source agent with smart model routing, BYOK, fully self-hosted.

Apple's official Agent Skills exported from Xcode 27 — SwiftUI, UIKit modernization, Swift Testing, C bounds-safety, and security hardening for AI coding agents.