3,778 skills. One install layer.

GitHub security posture audit tools for AI agents — organization, repository, Actions, secrets, supply chain analysis via MCP

MCP server for Deno — structured run, test, lint, and fmt output for AI agents

MCP server for Swift — structured build, test, and package manager data for AI agents

ido4 MCP server — context intelligence, task distribution, and governance for AI-hybrid software development in Claude Code

Model Context Protocol server for Cursor Cloud Agents API - programmatically create, manage, and interact with AI-powered coding agents through MCP stdio transport. Integrate automated code generation, repository management, and agent workflows into your

High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic

Search bills, legislators, committees, and events across all 50 US states, DC, and Puerto Rico via MCP. STDIO or Streamable HTTP.

360 AI Cloud Disk MCP Server & CLI

MCP Server for i-AUD MTSD document validation, generation, schema querying, control info extraction, and database operations

An MCP server that connects OpenSpec to AI assistants like Codex, Claude, and Cursor.

SDK, CLI, and MCP server for anton.app — track children's learning progress, browse lessons, manage assignments

Set up webclaw MCP server for AI agents (Claude, Cursor, Windsurf, OpenCode, Codex, Antigravity)

MCP server for searching academic papers, journals, and citations via the Crossref API

The enrichment-grade MCP server for academic paper search and full-text extraction. For science.

MCP server for gemini (coming soon)

MCP server for Bun — structured run, test, build, and package data for AI agents

A Model Context Protocol (MCP) server for Vercel API - Manage deployments, domains, projects, and more

MCP server with 323 cybersecurity prompts and 7 scenario workflows. Drops into Claude Desktop, Claude Code, Cursor, and other MCP-compatible clients.

MCP server for per-agent cost attribution, budget management, and spend analytics across AI agent fleets

REPL-sharing MCP server — AI and humans co-drive the same visible terminal. 19 embedded adapters: shells (bash, pwsh, zsh, cmd), language REPLs (Python, Node, Deno, Lua, Racket, CCL/ABCL/SBCL Common Lisp, F# Interactive, jshell, Groovy, SQLite3), and debu

MCP server for remote operations — structured SSH and rsync output for AI agents

CLI for scaffolding a new MCP server with ModelFetch

Query U.S. Census Bureau data, variables, and geography via MCP. STDIO or Streamable HTTP.

Solana Token Safety API & MCP Server — rug pull, honeypot, and safety analysis for AI agents