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

A Claude Code plugin marketplace with skills for rigorous quantitative and qualitative analysis in sociology and related social sciences.

— This project is an early-stage POC and is barely functional. Core features exist but are incomplete, untested in production, and likely to change significantly.

Claude Code skill plugin: drive Blender 5.x like a senior 3D artist via natural language. 10 chain-loadable skills (modeling, materials, lighting, cameras, rendering, animation, export,...

A Claude Code plugin for creating and editing Solana projects, specifically Rust projects in Anchor and Quasar, with a focus on:

TabClaw: Interactive AI Agent for Table Analysis

A Claude Code that teaches Claude to author : deterministic multi-agent orchestration scripts that fan work out to fresh-context subagents under plain JavaScript control flow.

System pokrywa 16 dziedzin prawa polskiego i unijnego: od routingu sprawy, przez analizę dowodów i strategię procesową, po generowanie pism — z obowiązkową weryfikacją online każdego przepisu i...

在nexscope-ai/Amazon-Skills的基础上二次开发,适合中国卖家更加深度更加方便的进行深度数据分析,加很多料

让 AI 助手直接操控你的 Android 手机 —— 支持 Skill 和 MCP 两种接入方式

把中国法院的类案裁判方法,编译成 AI 可以调用、普通人也能听懂的法律问答 skills。

A free AI Skill for writing posts you're proud of with ChatGPT, Cursor, and Claude.

MIT · Codex / Claude Code compatible · Contact: Space