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 skill that gives Claude the ability to capture, inspect, and debug GPU frames using RenderDoc. Works with Vulkan, D3D11, D3D12, and OpenGL.
割安株スクリーニングシステム。Yahoo Finance API（yfinance）を使って60+地域から割安銘柄をスクリーニングする。Claude Code Skills として動作し、自然言語で話しかけるだけで適切な機能が実行される。
A Claude Code skill that scaffolds ready-to-run LangChain Deep Agents and dcode CLI agents into any project.
- 用 Python wrapper 调 dreamina - 统一参数名 - 校验本地路径 - 返回稳定 JSON - 支持 --dry-run
Codex/Claude skill for generating bilingual-ready AI short-video scripts with frameworks, hooks, and examples.
Help-center IA for SaaS/devtools: nav tree, article types, audience paths, gaps.
Make your AI think like Munger, Feynman, or Paul Graham — load real mental models, not personas.
A collection of Claude Code skills.
agentchengfeng/writing-assistant-skill agent skill.
Skills, agents, and templates for spec-driven development with Claude Code. Stack-agnostic at the core, with optional preset configs for common stacks (iOS+Firebase+Cloud Run, etc.).
段永平.skill — 一个可运行的段永平思维框架 Skill，基于雪球2212条问答、6场深度访谈、600篇博客提炼。由女娲(Nuwa Skill)构建。
On March 31, 2026, a .map file in Claude Code's npm package accidentally exposed the full TypeScript source. We read all 512,000 lines. Here's everything we found.