Claude Desktop 설치 가이드
로컬 MCP 설정을 지원하는 데스크톱 클라이언트.
MCP Servers
An MCP server for constraint solving (SAT, MaxSAT, SMT, CP, ASP, DP). It turns the connected LLM host into a solver-writing agent: the host gets a Python kernel preloaded with a real solver library,...
https://github.com/user-attachments/assets/e92cbd43-cd6c-4ec9-9392-d0d2408a648d
🔬 ArXiv论文智能解读助手 - Arxiv-MCP-Server, 支持MCP协议的学术论文一键下载、解析、翻译为中文，并生成微信公众号文章格式
A Model Context Protocol (MCP) server that provides GDB debugging functionality for use with Claude or other AI assistants.
A Model Context Protocol (MCP) server that enables AI models to perform Android dynamic analysis using Frida.
通过 MCP、CLI 和本地 JSON 队列安全操作 FairyGUI Editor
一个功能强大的 Model Context Protocol (MCP) 服务器，基于 TypeScript 和 node-pty 实现持久化终端会话管理。即使客户端断开连接，终端命令也会继续运行，特别适合 Claude、Cursor、Cline 等 AI 助手执行长时间任务。 油管视频地址：https://youtu.be/nfLi1IZxhJs b站视频地址：https://www.
MCP server with local vector search for your codebase. Smart indexing, semantic search, Git history — all offline.
A Go implementation of the OData to Model Context Protocol (MCP) bridge, providing universal access to OData services through MCP tools.
e-Gov法令APIを使用して日本の法令情報を検索・取得するModel Context Protocolサーバー
Reduce Claude Desktop consumption by 10x - Integrate Google's Gemini or Z.ai's GLM-5 (744B params) with Claude via MCP for intelligent task delegation
Implementation of the paper: MCP4EDA: LLM-Powered Model Context Protocol RTL-to-GDSII Automation with Backend Aware Synthesis Optimization
Agent Skills
Built by DeepSeek, for DeepSeek. An AI coding agent that flows through your codebase like a tide. The name: DeepSeek + tide (terminal IDE).
🌩️ Be like a god to a town of agents. Pause time. Whisper to a soul. Bend the next step. Reset the world — all from a single click.
· · · crafted on a 24×24 grid and trusted by 500,000+ developers.
Fast, AI-ready, and zero-config. Free and open source, forever.
AI-powered design review for KiCad. Analyzes schematics, PCB layouts, and Gerbers. Catches real bugs before you order boards.
- Extensibles Validation Plugins. - Sync & Async Validation (w/ Promises & automatic errors). - Nested Fields (w/ Serialization & Validation).
Your tokens get reset every week, you might as well use them. Nightshift runs overnight to find dead code, doc drift, test gaps, security issues, and 20+ other things silently accumulating while you...
NeMo Gym is a library for evaluating and improving models and agents using environments. NeMo Gym provides infrastructure to develop environments, scalably run evaluation and training, and a...
The autonomous research agent that beats Claude Code and Codex by 2.5× on the same compute budget
The main branch is under active development for . The stable releases are maintained in the v0.x branch. The documentation for Rslib v1 is available at v1.rslib.rs.