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
Steno is the privacy-first AI notepad for all your confidential conversations. No cloud, no usage limits and your private data never leaves your premises.
Diagnostics is a library written in Swift which makes it really easy to share Diagnostics Reports to your support team.
Derived from the GAAC (GitHub-as-a-Context) project.
is a complete rewrite of LuaN1aoAgent, built on TypeScript and the Pi SDK for autonomous, authorized security research.
Create and manage TanStack Router and Start applications.
Practical AI agent skills for social media research, powered by ScrapeCreators.
DeepSeek Harness橙皮书《从开机到拆开》：完整系统提示词、129行启动清单、三份原始会话日志——官方文档没有的一手实测。PDF/EPUB/HTML免费下载
Zog is a schema builder for runtime value parsing and validation. Define a schema, transform a value to match, assert the shape of an existing value, or both.
Unhead is a document head and template manager, improving reactive SSR JavaScript framework developer experience, SEO and performance. See the full introduction to Unhead.
Deep Researcher Agent 24/7 Autonomous Deep Learning Experiment Agent
SerpApi : Search API that makes it easy and fast to scrape Google and other search engines.
critique Beautiful diff viewer for terminals, web previews, and agents.