Claude Desktop 安装指南
支持本地 MCP 配置的桌面客户端。
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
kabi-tg-cli — install with uv tool install kabi-tg-cli
A comprehensive collection of . Works with Claude Code, Cursor, Codex, Gemini CLI, and 30+ other tools.
Awesome Rebuttal is a global-installable, project-level skill for AI / ML / CV / NLP / Robotics paper rebuttals.
An AI-powered Claude skill for creating, rigging, and refining Spine 2D skeletal animations — from raw assets to interactive previews.
Transform vague prompts into expert-level, structured prompts using 31 frameworks across 7 intent categories.
A curated list of CLIs built for humans and AI agents.
Every capability. One call away. QVeris is the capability routing network for agents. This repository is the open-source agent toolkit: CLI, MCP server, Python SDK, skills, and REST API docs for...
Run these investor skills inside Questflow, the AI Finance Agent for financial markets.
ANOLISA, the Agentic evolution of Anolis OS, aims to deliver the best-practice implementation of Agentic OS — a server-side operating system built for AI Agent workloads.
A curated collection of reusable skills for Claude Code. Pick the skills you need and add them to your project to enhance Claude's capabilities.
把古诗词做成 逐句或两句一景的竖屏中国画动态视频 。 诗意分镜 · 中国画风格分化 · 画中物象真实运动 · 毛笔字逐字题写 · 原环境声与 BGM 并行 · 最终成片质检
Turn your slides, homework, and past papers into a source-aware tutor that remembers your progress.