Claude Desktop Install Guide
Desktop client with local MCP configuration support.
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
Built on PocketFlow · Inspired by karpathy/autoresearch
为 OpenClaw 和 DeepSeek Harness 打造的通用多媒体生成技能，由 RunningHub API 驱动。
My personal collection of Skills — open-source tools that extend Agent's capabilities for content creation, development logging, and productivity workflows.
A Claude Code skill for generating images using Gemini 3 Pro Preview (Nano Banana Pro).
智能体控制 PS 插件：让 Codex 接管本地 Photoshop，自动新建画布、图层编辑、可编辑路径、质感换色和批量导出。
基于中国大陆法律体系 | 成文法方法论 | 请求权基础分析法 | 三阶段自动化工作流程
A Claude Code plugin that conducts deep behavioral interviews, reads work artifacts via MCP tools, and generates installable plugins that authentically embody a person's thinking, communication, and...
是一个专为 Claude Code，codex,workbuddy等 设计的用户需求洞察技能，基于**，帮助产品经理、创业者、营销人员快速理解目标用户、挖掘情绪动机、将洞察转化为可落地的产品机会。 理论来源：https://mp.weixin.qq.com/s/Iqg7PLO3uji6QDlDUBzfgQ ， 《小而美》
一个 Codex / Claude Code Skill，自动将短视频平台（抖音、小红书、B 站、YouTube 等）视频或本地视频/音频文件转换为字幕文本并生成 AI 摘要。
给 AI 一个小说网站地址，它会尝试分析网站结构，生成阅读可导入的书源，并检查搜索、详情、目录、正文等链路是否能跑通。默认生成兼容原版最后版本和社区维护版的 book-source.json；明确选择社区维护版时，也可以生成 JavaScript 单文件书源 book-source.js。
A Claude Code and Cursor plugin that brings Slack into your AI tools with a Slack MCP Server and set of Slack skills for both users and developers.
CLI + Skill wrapper official Xcode 26.3+ MCP tools, so the "Allow access to Xcode?" popup only appears once per computer boot, plus a Skill that saves ~5K tokens of context per conversation.