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
Claude autonomously generates 3Blue1Brown-style video following a structured workflow: Plan → Code → Render → Iterate.
This repo gives you a ready-to-adapt control plane for VS Code Agents:
AI crypto research engine for Claude Code. Analyze tokens across on-chain, tokenomics, sentiment, technical & fundamental dimensions. DeFi analysis, narrative tracking, token screening, PDF reports.
Teach your AI coding agent to run Meta ads: API setup, programmatic campaigns, browser control, and conversion tracking that's actually proven to work.
Claude Code marketplace plugin — full digital chip design pipeline. 16 plugins · 17 skill files · 14 chip-design domains + infrastructure + pipeline orchestrator · closed-loop verification↔RTL...
基于《Personal Knowledge》《The Tacit Dimension》等 7 本核心著作、30+ 学术论文、 AIP 口述历史、6 个维度深度调研， 提炼 6 个核心心智模型、8 条决策启发式和完整的表达 DNA。
Pre-built Claude Code skills for SDRs, marketers, founders, and anyone in a Go-To-Market role who wants to automate their sales workflows — no engineering background required.
This repository contains a collection of practical examples and best practices for , designed to help developers leverage the power of Qwen-based models in their workflows.
Claude Code hooks, skills, and subagents for go-to-market teams. Trigger real actions in Slack, Apollo, Lemlist, Notion, Linear, Figma, Google Sheets, and 14+ other tools when Claude finishes work —...
Airtap skill for agents like codex, claude, openclaw
A Claude Code skill that creates and browses Anki flashcards during coding sessions. When you're learning something new — a concept, gotcha, or mental model — Claude proposes a card, you approve it,...
pip install skilllite → OS-level + in Cursor, Claude Desktop, OpenCode, or your own agent. You do need the desktop app or the full SkillLite agent loop to get the core value.