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
Modern Deno development knowledge for AI coding assistants. These skills teach your AI assistant how to build Deno applications using current best practices.
The public mono-repository of MUI (as an organization), see mui/mui-private for the opposite.
Community project. Not affiliated with or endorsed by Upwork.
Skill librarian MCP server — every installed skill costs tokens; the librarian keeps your whole collection out of agent context.
A modular AI-ready story-development skill engine built on Pixar’s 22 Rules, Story Spine, Hero’s Journey, South Park causality, and character-arc design.
Skills for tscircuit
A skill for structured first-principles thinking, built on the Agent Skills format (SKILL.md + frontmatter) shared by Claude Code, Codex CLI, Cursor, Gemini CLI, and other compatible coding agents.
A powerful Claude Code skill that provides safe disk space analysis, junk file cleaning, and real-time monitoring across Windows, Linux, and macOS.
AI-powered Reddit & X auto-reply bot that finds your customers and joins the conversation.
Feed a skill URL to your AI agent — it captures, authors a spec, runs the gates, and renders a pixel-perfect MP4.
Shared memory core, runtime-specific adapters, skill-scoped lessons.
This repository contains reusable agent skills for OpenTelemetry.