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
只需要一句指令，就能让 Codex 把 GPT Image 2 生成的美观图片转换为 PPTX；然后在 PowerPoint 中选择**或**，即可编辑重建后的各个元素。注意， 如果要编辑比较底层的元素可能需要多次的**，因为我们的重建逻辑涉及多层次的 元素组合。
adds rollback/recovery, adaptive context loading, and model routing intelligence on top of the original GSD by TÂCHES. Synced with upstream v1.24.0.
PhD students spend weeks on literature surveys. Most of that time is plumbing — finding papers, extracting claims, cross-referencing terminology, building comparison tables, chasing citation chains.
Normify · DSH 插件：把项目架构写成归一化的分形模块树，三层校验（写时 / 校验 / 冻结回执）、30 个 normify_* 工具 + normify-gen 技能，一键渲染单文件交互式架构图；支持伴随式开发（change_open → brief → check → 实施 → refresh → change_close）。
grep for context, not just text. Local-first CLI for searching documents, notes, memories, and project context.
This repository provides a collection of composable Dockerfiles and build scripts for deploying and running software, full applications, and select demonstrators on AMD Ryzen AI hardware.
🧬 Darwinia Give your AI agent the power to evolve its own trading strategies. Trading agents that discover strategies through Darwinian selection and adversarial self-play — not human-written rules.
A Claude skill blending psychology, philosophy, and wisdom traditions into a conversation partner with actual depth. Free, open-source, not a therapist.
Why use many token when few token do trick?
面向 Codex 桌面客户端的本地界面定制工具
小提示：导入数据时**，尽量不要用 JSON——多数微信导出工具的 JSON 是给 LLM 微调用的格式，没有时间戳，跑不出 K 线。详见 输入格式。
—— 一套可被任意 AI agent（Claude / GPT / Cursor…）使用的**。