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
Browser Control lets trusted coding agents run Playwright against your existing Chromium-family browser.
(As usual, XKCD has a comic for this. Appropriately enough, the comic is out of date.)
- Manage Claude Code, OpenAI Codex, Google Gemini, OpenCode, and custom AI agents from one powerful command-line interface.
Skills, rules, and validation hooks that teach AI coding agents to generate correct UdonSharp code
The skills I actually use to build software with coding agents. Straight out of my .claude/skills/ folder.
一句话：输入一个基金代码，Agent 把基金经理 8 年的每一笔买卖翻出来，拿 12 个月后的真实走势逐笔验对错，最后吐出一份 700KB 的单文件交互报告——K 线战役回放、买卖点验尸、独立性审判、造神检测，全都有。
An AI Agent skill that wraps the Bitget Wallet API, enabling natural-language-driven on-chain data queries and swap operations.
AI agents like Claude Code ship features fast. AIDD Framework keeps them working, secure, and maintainable.
AI coding agents are great at Python. They hallucinate in Spring Boot.
仕事の日本語を、読みやすくわかりやすく書く・直すための Agent Skill です。議事録・調査レポート・社内ガイド・リサーチメモ・スライド構成といった仕事の文書から、note・ブログ・エッセイまで扱います。
交互地图 · 每日时间轴 · 出发前订票提醒 · 行前须知 · 待选航班 · 片区价位酒店
The #1 Kubernetes skill for Claude Code and Codex, measured by GitHub stars.