3,798 skills. One install layer.

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.

Cognitive architecture for persistent AI agent memory. Knowledge graph with learning retrieval, ACT-R decay, and spreading activation. Markdown-native, local-first, zero cloud. MCP server + CLI.

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.

Planu — MCP Server for Spec Driven Development with native Rust acceleration for hot paths. Cross-platform (Linux/macOS/Windows, x64/arm64, glibc/musl).

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

Dangerous config and secret scanner for AI coding agents, MCP, and local automation projects.

Memory infrastructure for multi-agent AI systems

MCP server for AI image generation and manipulation

Sentinal MCP Server — Infrastructure monitoring tools for AI assistants. Works with Claude, Cursor, Copilot, Cline, Warp, Gemini CLI, and more.