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
A collection of skills for agentic LLM tools
Reverse-engineer any design system into a Claude-ready skill. Pure static analysis. No AI. No API keys.
AI를위한JSONUI마스터
CyberSkill's AI-native internal operations platform. 26 federated modules, 244 agent Skills, 224 CUO workflows, 48 C-roles, 606 tasks.
[NeurIPS 2025] Open-source Multi-agent Poster Generation from Papers
一个面向 claude code / Codex / OpenClaw 的跨境电商和国内电商通用视觉创作 Skill。GPT-Image-2 上线以来，电商圈已经被刷屏了。图像生成的边界，如今又被推了一大步。下面是我精选的 25个高质量案例，涵盖纯色底产品主图、场景化生活图、平铺图、电商详情图、真实场景等等，全部配完整提示词，都可以利用 GPT-Image-2 API生成最终效果。
Project-local Codex setup for serious multi-repository workspaces.
Proof SDK: open-source collaborative editor, provenance model, and agent HTTP bridge
Agent skills for the fallow codebase intelligence layer for TypeScript and JavaScript.
Type one sentence, approve once, walk away — Toh Framework installs an AI build department (14 commands, 8 agents, 23 skills) into your project and keeps building, testing and fixing until it is...
This repository is a self-developed Codex skill system for economics paper writing, revision, style adaptation, table/figure design, and workflow routing.
Open-source GEO content engineering and multi-site distribution platform with AI quality inspection, illustrated admin help, hosted sites, browser-assisted publishing, and signed updates.