Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
Professional-grade AI coding toolkit: 94 skills, 44 agents, multi-platform (Claude, Cursor, Windsurf, Copilot, Gemini, Cline, Roo Code, Aider, Augment, Antigravity, Codex CLI, opencode).
QA Skills Directory QA Skills is a curated directory of testing-specific skills for AI coding agents (Claude Code, Cursor, Copilot, etc.).

The security-first skill manager for AI agents — every install runs a security scan. Manage skills & MCP servers across 87 agents. Zero-dependency CLI.

Open-source governed, local-first memory control plane for AI agents and teams. arXiv:2608.08253
All-in-One Desktop Agent Skills Utility. Welcome to the Skill Zoo, where all your skills live!
Production-grade Agent Skills from Evil Martians — drop-in expertise for your AI coding agent
Offline security scanner for AI-agent repos, skills, plugins, and MCP servers.
EOC: open-source operating system for OpenAI Codex workflows with agents, skills, hooks, rules, memory, safety gates, and cross-harness adapters.
Cover your Mac screen with a hotkey while AI agents keep running. Dog/cat mascot, native Settings, Touch ID unlock.
CI-native security testing for MCP servers. Attack simulation, schema drift detection, and health scoring before agents depend on them.
103 ready-to-use AI agent skills for Claude Code, OpenAI Codex, Gemini CLI, Cursor, GitHub Copilot, Windsurf, and other Agent Skills-compatible tools. Complete SKILL.md workflows—not a link directory.
MCP servers for Google SecOps, GTI, SOAR, and SCC.
Local-first MCP security scanner for AI-generated apps. Scan → fix → rescan from Claude Code, Cursor, Codex, and other agents.
Vibe Check is a tool that provides mentor-like feedback to AI Agents, preventing tunnel-vision, over-engineering and reasoning lock-in for complex and long-horizon agent workflows. KISS your over-eager AI Agents goodbye! Effective for: Coding, Ambiguous Tasks, High-Risk tasks
🔌 A curated list of OSINT MCP servers. Pull requests are welcomed!
Publishes localhost services to the agentic web through self-hostable, trustless relays.
A curated collection of ready-to-run automation prompts for real-world workflows.
Security layer for AI coding agents. Works with Claude Code, Cursor, Windsurf, Gemini CLI, OpenCode, Pi Agent and more.

Minimal Postgres editor for speed, collaboration, and AI
Comprehensive sets of standards and practices designed to elevate the capabilities of AI coding agents.
Credential gateway for AI agents. Log in once via Oauth2 or API Key. Every agent stays authenticated — headless, no SaaS, agents never see your credentials.
Supercharge AI Agents, Safely
Redis' official collection of agent skills