Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
An MCP server for constraint solving (SAT, MaxSAT, SMT, CP, ASP, DP). It turns the connected LLM host into a solver-writing agent: the host gets a Python kernel preloaded with a real solver library,...
https://github.com/user-attachments/assets/e92cbd43-cd6c-4ec9-9392-d0d2408a648d
🔬 ArXiv论文智能解读助手 - Arxiv-MCP-Server, 支持MCP协议的学术论文一键下载、解析、翻译为中文，并生成微信公众号文章格式
A Model Context Protocol (MCP) server that provides GDB debugging functionality for use with Claude or other AI assistants.
A Model Context Protocol (MCP) server that enables AI models to perform Android dynamic analysis using Frida.
通过 MCP、CLI 和本地 JSON 队列安全操作 FairyGUI Editor
一个功能强大的 Model Context Protocol (MCP) 服务器，基于 TypeScript 和 node-pty 实现持久化终端会话管理。即使客户端断开连接，终端命令也会继续运行，特别适合 Claude、Cursor、Cline 等 AI 助手执行长时间任务。 油管视频地址：https://youtu.be/nfLi1IZxhJs b站视频地址：https://www.
MCP server with local vector search for your codebase. Smart indexing, semantic search, Git history — all offline.
A Go implementation of the OData to Model Context Protocol (MCP) bridge, providing universal access to OData services through MCP tools.
e-Gov法令APIを使用して日本の法令情報を検索・取得するModel Context Protocolサーバー
Reduce Claude Desktop consumption by 10x - Integrate Google's Gemini or Z.ai's GLM-5 (744B params) with Claude via MCP for intelligent task delegation
Implementation of the paper: MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimization
Agent Skills
Never lose a brilliant solution, code snippet, or architectural decision again. SpecStory captures, indexes, and makes searchable every interaction you have with AI coding assistants across all your...
A better whois and domain intelligence toolkit. Interactive TUI with tabbed views for WHOIS, DNS, mail, SSL/TLS, HTTP headers, SEO analysis, and tech stack detection.
Deep Researcher Agent 24/7 Autonomous Deep Learning Experiment Agent
Call your React components like async functions — they resolve with a value.
Create and manage TanStack Router and Start applications.
Unhead is a document head and template manager, improving reactive SSR JavaScript framework developer experience, SEO and performance. See the full introduction to Unhead.
A curated list of papers, projects, and agent skills on using LLMs for vulnerability detection and discovery.
山音超级编剧大师 - 全格式影视编剧 Skill 由 @山音 设计的自然语言驱动编剧 Agent Skill 覆盖 1-3 分钟概念超短片→90 分钟电影长片→多集剧集的全流程剧本创作，一站式搞定人物、大纲、场景、剧本全链路
This repository provides technical guidance for users and developers using Amazon EC2 instances powered by AWS Graviton processors (including the latest generation Graviton5 processors).
橙皮书 (Orange Book) Series · by HuaShu (花叔)
A high-performance Markdown parser and renderer for Angular, React, Svelte, Vue, HTML and ANSI.
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...