Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.
An MCP server for Rocq (formerly Coq) proof development. It exposes compilation, verification, querying, and interactive tactic stepping as MCP tools, so that LLM agents can write and check Rocq...
This project provides a modular, resource-oriented FastMCP server for interacting with Microsoft Graph API.
Issue tracking for the agentic coding era. One binary. One SQLite database (plus an attachments dir). MCP built in.
AI assistants are powerful, but they struggle with Kubernetes because:
Universal Memory Protocol (UMP) - an open standard for agent memory. The third interop layer beside MCP (tools) and A2A (coordination).
An MCP server that gives AI assistants direct access to your Help Scout inboxes, conversations, customers, organizations, threads, and Docs knowledge base.
Grok Build plugin for Claude Code, Grok, Codex, Cursor and others. Provides /grok:search, /grok:review, /grok:rescue commands + grok_search MCP tool for live X/web search.
Wavelet-based multi-resolution context management for LLMs via MCP.
Ultimate Telegram Bot API MCP server — full v9.6 coverage, meta-mode, rate limiting, circuit breaker. TypeScript.
Search and memory across your AI coding sessions — one index over Claude Code, Codex, and Pi. Fuzzy-find and resume from the CLI, give agents recall via MCP, and get usage reports.
A Multi Agent Memory MCP That Connect Agents Across Systems and Machines
Agent Skills
AI-powered design review for KiCad. Analyzes schematics, PCB layouts, and Gerbers. Catches real bugs before you order boards.
🌩️ Be like a god to a town of agents. Pause time. Whisper to a soul. Bend the next step. Reset the world — all from a single click.
About • How It Works • Documentation • Quickstart • Skills • Templates
欢迎来到阿里云大模型ACP高级工程师认证课程，这是阿里云大模型认证的进阶篇。在开始课程之前，先来了解阿里云大模型认证的体系架构，方便你选择适合自己定位的课程。 阿里云大模型认证体系架构：
本项目围绕吴恩达老师在 DeepLearning.AI 推出的 Agentic AI 系列课程，致力于为中文学习者提供高质量的课程内容翻译、系统化的知识梳理、关键概念解析以及配套示例代码的详细解读。项目不仅帮助学习者跨越语言障碍，更通过结构化整理与实践引导，深入理解“智能体”（Agent）在现代 AI 系统中的核心作用，掌握构建自主、协作、推理型 AI 应用的关键方法。
Built by DeepSeek, for DeepSeek. An AI coding agent that flows through your codebase like a tide. The name: DeepSeek + tide (terminal IDE).
The MATLAB Agentic Toolkit brings trusted MATLAB capabilities to AI agents, making engineering and scientific workflows agent-ready.
· · · crafted on a 24×24 grid and trusted by 500,000+ developers.
fly ai agent skill
Lakehouse graph database for context assembly & multi-agent coordination Multimodal retrieval · Git-style branching · object-storage native
ThingLinks is an enterprise-grade built on Spring Cloud microservices architecture. It delivers device connectivity, supporting on a single node with plugin-based extensibility and multi-protocol...
remocn is a copy-paste component library for building videos in Remotion. Instead of writing every fade, wipe, and kinetic title from scratch, you npx shadcn add a polished primitive into your...