Claude Desktop インストールガイド
ローカル MCP 設定に対応するデスクトップクライアント。
MCP Servers

MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via prolog-wasm-full, includes library(clpfd)), plus tree-sitter-based source code analysis.

The MCP Code Executor is an MCP server that allows LLMs to execute Python code within a specified Python environment.

MCP server that implements Claude Code's agent teams protocol for any MCP client.

iida-mcp 是一个 IDA Pro 插件,通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。

Superhuman Mail MCP Server

An MCP server that slurps data from Google News and Google Trends RSS endpoints, optionally distills it with LLM/NLP, and barfs out structured results.

MCP Client as Agent Strategy Plugin with Computer Using Agent (UI-TARS-SDK) support. Dify is not MCP Server but MCP Host.

— DSGVO, BFSG Barrierefreiheit und Einwilligungs-Widerruf. Auf Basis echter Gesetzestexte via rechtsinformationen.bund.de MCP.

Claude Code skills that let Claude interact with Web of Science (WoS) through Chrome DevTools MCP.

小红书自动评论工具(MCP Server) 这是一款基于 Playwright 开发的小红书自动搜索和评论工具,作为 MCP Server,可通过特定配置接入 MCP Client,帮助用户自动完成登录小红书、搜索关键词、获取笔记内容及发布智能评论等操作。

Arm's MCP server

kiro SPEC mode impl by mcp
Agent Skills

CloudFlare free temp domain email 免费收发 临时域名邮箱 支持附件 IMAP SMTP TelegramBot

Local-first Obsidian knowledge ingestion workbench for PDFs, Markdown, TXT and spreadsheets.

一份通俗易懂、风趣幽默的Java学习指南,内容涵盖Java基础、Java并发编程、Java虚拟机、Java企业级开发、Java面试等核心知识点。学Java,就认准二哥的Java进阶之路😄

Process skills that give a Reasonix coding agent the disciplines of a careful engineer: write the test first, debug from evidence, plan before coding, verify before claiming done.

이 프로젝트는 revfactory/harness를 만드신 카카오의 황민호 님의 스킬을 기반으로, 하네스 엔지니어링을 더 쉽게 실습할 수 있도록 교육용 흐름에 맞게 재구성한 것입니다. 좋은 공개 자료와 아이디어를 공유해 주신 황민호 님께 다시 한번 깊이 감사드립니다.

Spec docs drift from code, or they bloat every PR. Skeeper picks neither.

Out-of-the-box coding-agent runtime for terminal, IDE, server, and Telegram: built-in tools, subagents, skills, memory, MCP/ACP, hooks, and automation.

An open runtime that turns Codex, Claude Code, Gemini, Qwen, Kimi, Oh My Pi, Kilo Code, OpenCode, and Cursor into orchestrated fleets — same scripts as Claude Code's own Workflow tool, plus a live...

A skill marketplace for academic research: from project management to literature review, making figures and writing reports and grants.

An awesome & curated list of best LLMOps tools for developers

see 让任何不支持多模态的模型直接查看图片和视频。图片默认交给 Qwen3.7 Plus;视频优先交给 Gemini 3.1 Flash-Lite,平台不可用时使用 Qwen3.7 Plus。

A terminal interface for Nanocodex