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

All-in-One Desktop Agent Skills Utility. Welcome to the Skill Zoo, where all your skills live!

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

UK legal API for AI agents and researchers.

Searchable football data provider documentation for AI coding agents. Like Context7 for football data.

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

Prismer Cloud

Claude Code rewritten in Go.. High-performance AI agent harness runtime in Go. MCP server, CLI tool orchestration, session management, Kiro integration. Single binary, zero dependencies.

Agent Skill: Check academic paper citations for format, queryability, thematic relevance, and semantic accuracy.

Overture is an open-source, locally running web interface delivered as an MCP (Model Context Protocol) server that visually maps out the execution plan of any AI coding agent as an interactive flowchart/graph before the agent begins writing code.

Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL workflows for Claude Code, Codex, Gemini CLI, and Cursor.

Context engine for large codebases, exposed through MCP. Gives AI coding agents precise repository context; benchmarked at frontier-agent quality with ~25x lower model cost and 45% fewer tokens with semantic search.

13 installable skills for Claude Code, OpenAI Codex, and Hermes, for finding your unknowns before they get expensive: blindspot pass, brainstorms, interviews, references, plans, notes, pitches, a merge quiz, plus a context audit, agent interface design, and progressive disclosure.

SkillOpt is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and deployable best_skill.md artifacts.

Publishes localhost services to the agentic web through self-hostable, trustless relays.

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

Headless product design for AI coding agents, backed by a transactional product graph | Design how it works, verify what you ship.

Shrimp Task Manager is a task tool built for AI Agents, emphasizing chain-of-thought, reflection, and style consistency. It converts natural language into structured dev tasks with dependency tracking and iterative refinement, enabling agent-like developer behavior in reasoning AI systems.

Cut AI context cost without trusting the compressor. Every reduction is reversible, byte-exact recoverable, and carries an auditable receipt. Local-first, works through proxy, MCP, SDK, or agent wrapper.

Web Design Studio: free agent skill for distinctive websites, interactive 3D and motion. 28 live examples, art direction and accessible fallbacks. Formerly Cinematic Scroll.

Run a task with AI as a flow of steps you keep, reuse, and refine, not a one-off chat.

Agent skill that removes signs of AI-generated writing from text

Ruler — apply the same rules to all coding agents

local-first analytics for AI agent skills