Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
An MCP server for reading, searching, organizing, and sending email through IMAP and SMTP.
Tableau's official MCP Server. Helping agents see and understand data.
@cyanheads/git-mcp-server A Git MCP server for AI agents. STDIO & Streamable HTTP. 28 Tools · 1 Resource · 1 Prompt
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群
Fast, cheap, typed judgments from TypeSafe's Jev model, as MCP tools.
传说，在每一行代码的阴影里，蛰伏着一头来自深渊的**。它以**为食，以**为巢。无人得见其形，只因它的**。它不追逐光，不咆哮于风，只等**。当**，幽狼便**——那时，，仿佛整个世界都不曾察觉。唯有虚空记得：
iida-mcp 是一个 IDA Pro 插件，通过本地 HTTP MCP 服务暴露当前 IDB 的静态分析能力。
Demo only. Actual searches run by default (no visible browser). Set SURF_HEADLESS=false to make Chrome visible like in the clip above.
— 优先支持静态分析、dry-run 与本地靶场。exploit、横向移动、持久化、C2、数据外传等高风险能力属于受限实验特性；policy 与 sandbox 元数据不等同于操作系统或容器级隔离。
Point at any GraphQL or REST API. Ask questions in natural language. The agent fetches data, stores it in DuckDB, and runs SQL post-processing. Rankings, filters, and joins over returned data work .
Agent Skills
A curated collection of JavaScript snippets to measure and debug Web Performance directly in your browser's DevTools console.
Beautiful React Native components. One command away.
AI-Powered SSH Client and Remote Operations Workspace SSH, Telnet, Serial, RDP/VNC, SFTP, port forwarding, and lightweight editing in one native workspace. GPU-rendered. Free. No account needed.
Agent Skills · Device SDK · EVA CLI · Model Gateway · Edge AI 从一句需求到一个可运行的实时多模态应用，让 AI Agent 参与开发、管理云端资源，并将智能带到每一台设备。
"I am not afraid of storms, for I am learning how to sail my ship." – Louisa May Alcott
A compiler-first reactive JavaScript UI framework. No virtual DOM. Compile-time JSX transforms. Proxy-based stores. Surgical DOM patching.
Zog is a schema builder for runtime value parsing and validation. Define a schema, transform a value to match, assert the shape of an existing value, or both.
Easy AI 让 AI 学习变得真的简单。 一个面向 AI 学习者、开发者和创作者的知识网站。
本仓库目前继续保持公开访问，暂不归档或删除，但已停止功能与兼容性更新。后续开发、版本发布和问题修复均已迁移至 。建议所有新老用户下载并使用新项目。 项目主页 / Project home · 最新版本下载 / Latest release This repository remains publicly accessible and is not being archived or...
Steno is the privacy-first AI notepad for all your confidential conversations. No cloud, no usage limits and your private data never leaves your premises.
Diagnostics is a library written in Swift which makes it really easy to share Diagnostics Reports to your support team.
Derived from the GAAC (GitHub-as-a-Context) project.