Claude Desktop インストールガイド
ローカル MCP 設定に対応するデスクトップクライアント。
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 for the agent trifecta: you, your team, and your AI agents.
A comprehensive agent skill for developing high-quality Obsidian plugins that follow best practices, pass code review, and adhere to official submission guidelines.
中国法律全领域系统性检索专家 - AI Agent Skill for Legal Research
Agent skills
TikHub API 助手是一个 Claude Code Agent Skill，用于帮助用户搜索、发现和调用 TikHub API。TikHub 提供了多平台社交媒体数据 API，支持抖音、TikTok、小红书、Instagram、YouTube、Twitter、Reddit 等平台。
这是一个用于股票研究的大模型智能体技能，用来复用 Serenity（@aleabitoreddit）的 AI 与半导体供应链卡点分析框架。
A beginner-friendly, full-spectrum reverse-engineering skill collection for Codex-style AI agents.
Agent skills that give AI agents live web data — search, scrape, and extract structured data with Extraction Templates and Web Search Agents, plus one-command business intelligence workflows.
这是一套可直接放进 Codex/Agent 运行环境的本地 skills，用来调用 Agnes AI 的免费文本、图片和视频模型 API。仓库只包含可复用的 skill 文件、参考文档和 Python 辅助脚本，不包含任何 API Key、生成结果或本地运行产物。
Claude Code, Cursor, Windsurf 등 Agent Skills 형식을 지원하는 AI 에이전트에서 사용할 수 있는 한국어 특화 스킬을 제공합니다.
Turn AI agents into Kaggle teammates 让 AI 智能体成为你的 Kaggle 队友 Reusable workflow for validation, modeling, Kaggle execution, debugging, ensembling, and scored submission.
A collection of skills for AI coding agents working with Azure Cosmos DB. Skills are packaged instructions and scripts that extend agent capabilities.