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
Direct C# evaluator for the Unity Editor, enabling AI agents to automate workflows, build games, and verify behavior through executable C#.
38个装修避坑独立Skill合集 — 覆盖全屋定制、老房改造、合同审核、报价审核、方案诊断、环保避坑、流程管控、翻车急救、避坑问答、增项避雷、公司选择等装修全流程
Fastest way to scaffold your LLM powered personal knowledge base - Obsidian, Claude Code, qmd, Github
帮助用户进行Vibecoding的skill
PONYO AI Style Atlas Director Skill: director/IP atmosphere translation, dual-engine image prompts, video model routing, and style anchor export.
Nature-style AI peer reviewer for scientific manuscripts.
Takeaway Skill / 拿来主义 Skill: distill references into reusable mechanisms, adaptation routes, pattern cards, and implementation briefs without copying surface style.
徐子平 · 先排盘再开口的 AI 八字工具
Portable skill for building reliable LLM prompts. Drop-in for agentic-stack.
Official Research Skills Powered By AMiner.cn
Claude Code skill: McKinsey/Bain consulting-style HTML chart generator with Chrome headless PNG export
Claude Skill that audits your projects for RLS misconfigurations, exposed keys, auth bypasses, and storage vulnerabilities. 27 anti-patterns sourced from CVE-2025-48757 and 10 security studies.