Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers

Each RAG component was sharpened on its own, then folded into one repository: multi-identity auth, observability and systemd supervision come with it.

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.

This Agent MCP allows you to train external intelligence with zero GPU and let you trade it at Tetrees EX

Claudeに身体性を与えるMCP群

A simulated Claude Code project you can click through. Every file and folder in the sidebar is a real Claude Code concept — the same .

a coding Agent, rpc plugin, sub-agents, hashline edits, and mcp

is an experimental MCP server for summarizing GitHub discussions, issues, and pull requests. Answer questions like:

mcp server for rust code semantic hybrid search bm25 + embeddings with tree-sitter, gpu accelerated indexing and merkle tree updates

CLI-based tester for verifying that MCP servers work correctly when called directory and by agents

This MCP server provides a tool to download entire websites using wget. It preserves the website structure and converts links to work locally.

A Machine Conversation Protocol (MCP) server that provides Google Contacts functionality, allowing AI assistants to manage contacts, search your organization's directory, and interact with Google...

Complete Docker-based AI operations infrastructure: Paperclip, n8n, Supabase, OpenClaw, ruflo, and MCPs
Agent Skills

为纯文本模型"看图“设计更好的视觉工具箱和技能,支持多图理解,图片问答,前端UI还原、GUI 自动化等,并可选无缝接入多个主流agent,直接识别粘贴图片| A vision toolkit and skill designed for text-only llms — image Q&A, long-screenshot OCR, frontend UI restoration, and...

Reactive MobX Form State Management

本项目围绕吴恩达老师在 DeepLearning.AI 推出的 Agentic AI 系列课程,致力于为中文学习者提供高质量的课程内容翻译、系统化的知识梳理、关键概念解析以及配套示例代码的详细解读。项目不仅帮助学习者跨越语言障碍,更通过结构化整理与实践引导,深入理解“智能体”(Agent)在现代 AI 系统中的核心作用,掌握构建自主、协作、推理型 AI 应用的关键方法。

🌩️ 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.

Built by DeepSeek, for DeepSeek. An AI coding agent that flows through your codebase like a tide. The name: DeepSeek + tide (terminal IDE).

ThingLinks is an enterprise-grade built on Spring Cloud microservices architecture. It delivers device connectivity, supporting on a single node with plugin-based extensibility and multi-protocol...

Large Language Models (LLMs) have rapidly evolved into powerful general-purpose reasoning and generation engines.

基于 Vant 设计语言,为小程序与 H5 提供一致、类型安全且高度可定制的开发体验。

agent skills for vibe motion

vet supports special mode for Agent Skills. Run vet scan --agent-skill to scan an Agent Skill hosted in a GitHub repository.

- 傻瓜操作模式(把txt文件拖到kaf-cli.exe上面自动转换) - 自定义封面 - 支持生成Orly风格的书籍封面 - 自动识别书名和章节(示例中所有用法都会自动识别) - 自动识别字符编码(自动解决中文乱码) - 自定义章节标题识别规则 - 自定义卷的标题识别规则 - 自动给章节正文生成加粗居中的标题 - 卷名使用精美的双线边框样式 - 章节序号和标题分离显示(可选) - 自定义...

A curated list of delightful NoCode / LowCode applications and resources. For more awesomeness, check out awesome.