Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
MCP server that implements Claude Code's agent teams protocol for any MCP client.
— codebase-memory-mcp-pro is a community fork of (MIT License, © 2025 DeusData), maintained by @win4r.
MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via prolog-wasm-full, includes library(clpfd)), plus tree-sitter-based source code analysis.
Point at any GraphQL or REST API. Ask questions in natural language. The agent fetches data, stores it in DuckDB, and runs SQL post-processing. Rankings, filters, and joins over returned data work .
a coding Agent, rpc plugin, sub-agents, hashline edits, and mcp
A remote MCP server for SubmitMap, a directory of product launch platforms and startup directories.
Claudeに身体性を与えるMCP群
MCP server that enables the use of OpenAI's high-end models and their powerful web search capabilities.
Tableau's official MCP Server. Helping agents see and understand data.
MoLing is a computer-use and browser-use MCP Server that implements system interaction through operating system APIs, enabling file system operations such as reading, writing, merging, statistics,...
Open-source meeting transcription API for Google Meet, Microsoft Teams & Zoom. Auto-join bots, real-time WebSocket transcripts, MCP server for AI agents. Self-host or use hosted SaaS.
Open ChatGPT in your browser and manage multiple computers and servers from one conversation. Write code, change configuration, run commands, and deploy in the real environment where the work...
Agent Skills
A collaborative list of awesome Helm resources.
Agent skill that audits vibe-coded apps for common security vulnerabilities introduced by AI coding assistants
The MATLAB Agentic Toolkit brings trusted MATLAB capabilities to AI agents, making engineering and scientific workflows agent-ready.
About • How It Works • Documentation • Quickstart • Skills • Templates
Large Language Models (LLMs) have rapidly evolved into powerful general-purpose reasoning and generation engines.
AI agent skills for startup validation, competitive intelligence, and planning
AI-powered design review for KiCad. Analyzes schematics, PCB layouts, and Gerbers. Catches real bugs before you order boards.
zvm (Zig Version Manager) lets you easily install/upgrade between different versions of Zig.
本项目围绕吴恩达老师在 DeepLearning.AI 推出的 Agentic AI 系列课程，致力于为中文学习者提供高质量的课程内容翻译、系统化的知识梳理、关键概念解析以及配套示例代码的详细解读。项目不仅帮助学习者跨越语言障碍，更通过结构化整理与实践引导，深入理解“智能体”（Agent）在现代 AI 系统中的核心作用，掌握构建自主、协作、推理型 AI 应用的关键方法。
The autonomous research agent that beats Claude Code and Codex by 2.5× on the same compute budget
Codex Skill for producing authorized digital-human talking-head videos with MiniMax overseas voice cloning and HeyGen Image-to-Video.
基于 Vant 设计语言，为小程序与 H5 提供一致、类型安全且高度可定制的开发体验。