Claude Desktop 安装指南
支持本地 MCP 配置的桌面客户端。
MCP Servers
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...
MCP server for accessing reMarkable tablet data
Stockfish + LLM chess coach: an MCP server and web board that explain your mistakes in plain English
- - Comprehensive tool documentation with real-world examples - - Data handling and privacy information - - Comprehensive Docker deployment, multi-architecture builds, and production setup
CLI for Tana integration - query, create, sync, and manage Tana workspaces with semantic search and MCP Server
This repo exposes the TMF620 command layer through two interfaces:
AI visibility tracker MCP for ChatGPT, Claude, Perplexity, Gemini & Google AIO. Free OSS/self-host; optional EUR 99 AI Visibility Audit.
An MCP server that provides KOSPI/KOSDAQ stock data from KRX Data Marketplace.
Official Sarvam MCP server. Exposes every public Sarvam API — STT, TTS, Translate, Transliterate, Language ID, Text Analytics, LLM (30B / 105B), Vision Document Intelligence, Pronunciation...
AI-powered logo design → SVG → full brand kit. Free, local, MCP-native.
This project contains MCP Servers for IBM Cloud which provide an interface layer between AI assistants and IBM Cloud services.
An MCP server that provides tools for sending and testing in sandbox via Mailtrap.
Agent Skills
TinyScientist: A Lightweight Framework for Building Research Agents
如果你只装一个搜索工具，大概率会在其中一类问题上吃瘪。 所以这两个技能的设计目标不是互相替代，而是 。
Awesome skills to use with your agents
A library of Claude Code skills for teaching coding agents how to use various CAD tools.
An open-source AI-powered frontend development platform built on DeepAgents and LangGraph. Generate complete React applications through natural language conversations.
review-analyzer-skill 是由 buluslan（公众号：新西楼.AI）研发的电商评论深度分析 Skill（VOC 客户之声分析），他会帮你把一堆产品评论变成一份能落地的决策依据——22 维 AI 打标提炼用户画像、痛点和真实需求，输出 15 章深度洞察报告和可视化看板，从差评里挖出产品优化机会点、从好评里找到爆款基因。
为 OpenClaw 提供联网搜索能力的插件。通过飞书 / Telegram等 向 Agent 发消息，即可触发搜索、抓取网页、映射站点结构。
Χ-Bench: Can AI Agents Automate End-to-End, Long-Horizon, Policy-Rich Healthcare Workflows?
面向移动安全分析场景的 6 阶段总控 Skill。用于统一调度 APK 静态侦察、流量与代码对齐、SO/JNI 深度分析、加密与漏洞综合分析、验证设计与报告交付流程。支持 JADX MCP、Burp/Yakit MCP、IDA/Ghidra MCP。
An AI-powered creative advertising agent that generates conversion-focused ads using a . Built with the Claude Agent SDK, it analyzes brand websites, extracts factual data, and creates 6 diverse ad...
Essential skills for teams and developers building software with best engineering practices and 10x productivity. Compatible with AdaL CLI and Claude Code.
KIRI-Maker is a tool for 3D Gaussian Splatting effects and camera movement