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
A context harness for AI agents — and for building them: one unified workspace over your code, memory, skills, docs, messages, and every data source.
A reduced, higher-signal library of agent skills for ChatGPT. The repo now favors fewer, broader skills with real deterministic tooling over a long tail of thin utility wrappers.
A Codex/Claude Code skill for document-driven, multi-agent Vibe Coding workflows.
A collection of skills for AI coding agents. Skills are packaged instructions that extend agent capabilities — for content creators, video producers, prompt engineers, and students making life...
A collection of AI agent skills for OKX exchange operations. Each skill is a self-contained Markdown file with YAML frontmatter that tells an AI agent when to activate and how to execute tasks via...
Codex skill for converting raster logos into smooth minimal SVG plus standalone HTML previews.
Production-ready Claude Agent Skills for SEO, powered by the SE Ranking remote MCP. Each skill turns raw API data into a finished SEO deliverable — content briefs, AI Search share of voice, page...
Professional email management, deliverability optimization, and marketing strategy powered by Claude Code
Codex 三層多代理協作 Skill：由 GPT-6 Astra 統籌，GPT-6 Sol Max 與 GPT-6 Luna Max 分工執行。
🔊 Hear how developers actually pronounce kubectl, nginx, GIF & 1,900+ tech terms. Sourced dictionary + CLI + VS Code + GitHub Action + MCP + Agent Skill.
whiteboard-video-engine 的 Codex Skill 适配层。安装后，Codex 可以直接调用本地引擎，把图片、SVG、线稿或脚本转换成白板手绘视频。
Fastest way to build and deploy long-running AI agents—with durability, observability, and security. Docs | Examples