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
An agent skill that applies — Pillar Security's Secure AI Lifecycle framework — to real systems. It bundles the full SAIL V2 risk catalog (, each with mitigations and standards mappings) as reference...
Reverse-engineer design tokens (colors, typography, spacing, border radius, shadows) from any public website and generate starter JSON and CSS custom properties for your local project.
Open-source MapLibre stack for China historical maps and short-form video (HyperFrames or any MapLibre host).
▶️ Watch: Latest Update Demo | Original Overview
给 Codex 使用的开源口播视频成片导师工作流：原片可以先走可选粗剪，也可以从现成粗剪或字幕轴开始，再完成素材插入、风格选择、可选 ShotCraft 镜头参考、HyperFrames + GSAP 预览和最终成片。
A for OpenCode that brings eval-driven development to AI agent skills — based on Anthropic's official skill-creator for Claude Code, ported to TypeScript and adapted for OpenCode's plugin...
从赛题到终稿，一站式交付。双模式运行、六维选题评估、模型依赖 DAG、五人评审团、学术诚信门控、公式自动渲染——把数学建模竞赛变成可追溯、可审计的工程流水线。
This project is under active development and heavily generated by LLMs without strict proofreading. Use with caution and verify all code before production use.
If this project helps you, you can support it here or simply ⭐ the repo.
Reusable skills for Claude Code, Codex, Cursor, and similar agent environments.
A comprehensive Claude Code skill for managing Linear issues, projects, and teams. Provides patterns for MCP tools, SDK automation, and GraphQL API access.
- 默认 6 格（2×3），也可按需生成 4 格（2×2）或 9 格（3×3）。 - 每格是明显不同的媒介、版式与转译逻辑，不是简单换滤镜。 - 图内只标 01–09；风格名与适配理由放在回复中。 - 用户回复编号后，从**重新生成高清成品，不放大宫格单格。 - 支持「再换一组」、「融合 02 和 05」，也支持「跳过预览，直接出最终图」。