Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
A Model Context Protocol (MCP) server that enables AI assistants to interact with Vikunja task management instances.
Livebook Tools is a CLI tool to give you superpowers while working with .livemd files. Its primary features are:
A comprehensive Model Context Protocol (MCP) server for penetration testing and cybersecurity operations, providing seamless integration between Kali Linux tools and MCP-compatible clients.
The connects your Schwab account to LLM-based applications (like Claude Desktop or other MCP clients), allowing them to retrieve market data, check account status, and (optionally) place orders under...
Run MATLAB® using AI applications with the official MATLAB MCP Server from MathWorks®. This MCP server for MATLAB supports a wide range of coding agents like Claude Code® and Visual Studio® Code.
A powerful Python recreation of Claude Code with enhanced real-time visualization, cost management, and Model Context Protocol (MCP) server capabilities.
A Model Context Protocol (MCP) server providing AI assistants with access to healthcare data and medical information tools.
Curated directory of Model Context Protocol servers, tools, transports, categories, and contribution-ready MCP metadata. Test your MCP with the harness below.
MCP Toolbox for Databases is an open source MCP server for databases.
MCP is an open protocol that enables AI models to securely interact with local and remote resources through standardized server implementations.
An AI Gateway, registry, and proxy that sits in front of any MCP, A2A, or REST/gRPC APIs, exposing a unified endpoint with centralized discovery, guardrails and management.
A Model Context Protocol server that gives an LLM assistant — mail, calendar, people, tasks, drafts and (explicitly gated) sending — speaking EWS natively. No Graph proxy, no Microsoft 365 connector.
Agent Skills
这是一个专为 NSFC 申请书撰写设计的 Agent Skills 集合，帮助科研人员提高申请书质量，涵盖写作指导、图表制作、文献管理和政策速查等核心环节。
Inspect and drive a running Flutter app from your AI assistant.
Lean 4 workflow pack for AI coding agents. Gives your agent a structured prove/review/golf loop, mathlib search, axiom checking, and safety guardrails.
Query protocol state, bind and delegate, stake AWP tokens, manage worknets, create governance proposals, vote, and monitor real-time on-chain events — all through natural language.
Ghostwriter 是一个 AI 角色人格库。每个角色都经过深度建模——不只是"性格标签"，而是完整的说话方式、思维方式、用词习惯。你不需要写复杂的 prompt，只需要说一句"切换到 XX"，AI 就自动变成那个人。
UModel (Unified Model) is a vendor-neutral semantic runtime for enterprise AI, data governance, and operational intelligence.
Argus Agent is a memory-first AI agent for long-context personal intelligence, grounded recall, temporal reasoning, quantitative reasoning, and tool use.
A cross-platform desktop app for managing AI agent skills. Browse, install, sync, and edit skills across 16 agents from a single interface.
公众号 / 小红书 / B站 / 知乎： 空格的键盘 ｜ [email protected]
输入一个角色名和作品名，CSP 会完成资料检索、交叉验证、行为蒸馏、质量检查，生成一个带资料日期、来源边界和更新路径的 SKILL.md。
WinDiff is an open-source web-based tool that allows browsing and comparing symbol, type and syscall information of Microsoft Windows binaries across different versions of the operating system.
Skills distilled from the Lab's real work and collaboration practices