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
DeepAgent 기반 Research(연구) Multi Agent System 구축 - Context Engineering
"Other agents start cold. Yansu.skill starts warm."
投研报告精读助手 - Claude Skill for systematic analysis of investment research reports
Publish Markdown or HTML articles to WeChat Official Account drafts with one command. Say goodbye to tedious copy-paste-format workflows.
A Claude Code skill that turns peer review reports into structured revision roadmaps. Extracts every reviewer request as a separate task, maps dependencies as a directed acyclic graph, validates the...
为 Seedance 2.0 视频生成模型撰写产品宣传动画提示词的 AI Skill。
- Hierarchical architecture with intelligent orchestration
Say it in plain language. A team of agents delivers. The self-hosted Agent Operating System for the enterprise.
An OpenClaw skill for warming up a new Reddit account before any marketing or outreach begins.
A lightweight but powerful AI Agent framework in Python.
A Swiss International Style design system for AI agents. Grotesque typography, rigorous grid, generous whitespace, restrained color — expressed through Tailwind CSS.
Ready-to-use UI Test Automation Architecture using Java and Playwright.