Cursor 安装指南

YC

yogthos/chiasmus

开发工具

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.

BM

bazinga012/mcp_code_executor

开发工具

The MCP Code Executor is an MCP server that allows LLMs to execute Python code within a specified Python environment.

CC

cs50victor/claude-code-teams-mcp

开发工具

MCP server that implements Claude Code's agent teams protocol for any MCP client.

SI

saileaxh/iida-mcp

开发工具

iida-mcp 是一个 IDA Pro 插件，通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。

SM

superhuman/mcp-mail

开发工具

Superhuman Mail MCP Server

JG

jmanek/google-news-trends-mcp

开发工具

An MCP server that slurps data from Google News and Google Trends RSS endpoints, optionally distills it with LLM/NLP, and barfs out structured results.

3P

3dify-project/dify-mcp-client

开发工具

MCP Client as Agent Strategy Plugin with Computer Using Agent (UI-TARS-SDK) support. Dify is not MCP Server but MCP Host.

WV

waldo-van-der-code/deutsches-recht-mit-claude

安全测试

— DSGVO, BFSG Barrierefreiheit und Einwilligungs-Widerruf. Auf Basis echter Gesetzestexte via rechtsinformationen.bund.de MCP.

CW

cookjohn/wos-skills

开发工具

Claude Code skills that let Claude interact with Web of Science (WoS) through Chrome DevTools MCP.

JR

jonafly/rednotemcp

开发工具

小红书自动评论工具（MCP Server） 这是一款基于 Playwright 开发的小红书自动搜索和评论工具，作为 MCP Server，可通过特定配置接入 MCP Client，帮助用户自动完成登录小红书、搜索关键词、获取笔记内容及发布智能评论等操作。

AM

arm/mcp

开发工具

Arm's MCP server

TS

tokenrollai/spec-mcp

效率工作流

kiro SPEC mode impl by mcp

LB

l-blondy/up-fetch

开发工具

upfetch is an advanced fetch client builder with standard schema validation, automatic response parsing, smart defaults and more.

DA

datawhalechina/agent-skills-with-anthropic

开发工具

本项目是基于吴恩达老师在 DeepLearning.AI 平台推出的 agent-skills-with-anthropic 系列课程的中文学习资料整理项目。我们致力于为中文学习者提供高质量的课程内容翻译、系统的知识点梳理以及详细的示例代码解读，帮助大家更轻松地掌握 Agent Skills。

FI

flutter-it/get_it

开发工具

📚 Check out the comprehensive docs with detailed guides, examples, and best practices!

RR

rage-rb/rage

开发工具

is an API-first Ruby web framework that combines the developer experience of Rails with fiber-based concurrency.

MT

midudev/tailwind-animations

开发工具

Get your animations easily done with only Tailwind CSS classes.

AF

atsign-foundation/at_client_sdk

开发工具

The main repository for libraries used to build applications on the Atsign Platform. Three categories: SDKs, libraries, and Flutter widgets.

ZA

zenstory-ai/drama-skills

开发工具

AI 短剧/漫剧创作 skill 合集，覆盖剧本、资产、分镜、图片/视频提示词到独立审查全链路，适配 Claude Code 与 Codex。| An AI short-drama skill suite for Claude Code & Codex: scripts, assets, storyboards, image/video prompts, and independent...

KS

kai-scheduler/kai-scheduler

开发工具

KAI Scheduler is a robust, efficient, and scalable Kubernetes scheduler that optimizes GPU resource allocation for AI and machine learning workloads.

QC

quint-co/quint

开发工具

Website • Getting Started • Documentation • Community

AF

afc163/fanyi

开发工具

A 🇨🇳 and 🇺🇸🇬🇧 translator in your command line, powered by iciba, youdao and LLM.

OZ

oudwins/zog

开发工具

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.

ID

icebird1998/drawio-scientific-illustrator

开发工具

本仓库目前继续保持公开访问，暂不归档或删除，但已停止功能与兼容性更新。后续开发、版本发布和问题修复均已迁移至 。建议所有新老用户下载并使用新项目。 项目主页 / Project home · 最新版本下载 / Latest release This repository remains publicly accessible and is not being archived or...