Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
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.
MCP server for interacting with the Aseprite API
Agentic AI for everyone. No API key. No credit card. Just pip install .
Tableau's official MCP Server. Helping agents see and understand data.
Claudeに身体性を与えるMCP群
A Claude Code skill + MCP server setup for expert-level Meta Ads campaign analysis. Includes the framework, Learning Phase diagnostics, and 9 reference documents from Meta's official documentation.
Open a document, select any text, ask a question — and the answer opens as a fully-rendered child document. Follow whatever pulls at you, as deep as it goes. Every hole is saved and revisitable.
A remote MCP server for SubmitMap, a directory of product launch platforms and startup directories.
- Fully support all features and syntax of ECharts, include data, style, theme and so on. - Support exporting to png, svg, and option formats, with validation for ECharts to facilitate the model's...
Automated deep malware reverse engineering driven by AI agents. A Kali-based Docker environment pairs 50+ RE tools with MCP-connected disassembler backends (Binary Ninja or Ghidra) and a structured...
AsDecided keeps requirements, decisions, designs, roadmaps, and prompts as typed Markdown in your repository.
Open ChatGPT in your browser and manage multiple computers and servers from one conversation. Write code, change configuration, run commands, and deploy in the real environment where the work...
Agent Skills
A 🇨🇳 and 🇺🇸🇬🇧 translator in your command line, powered by iciba, youdao and LLM.
📚 Check out the comprehensive docs with detailed guides, examples, and best practices!
KAI Scheduler is a robust, efficient, and scalable Kubernetes scheduler that optimizes GPU resource allocation for AI and machine learning workloads.
Get your animations easily done with only Tailwind CSS classes.
A curated collection of JavaScript snippets to measure and debug Web Performance directly in your browser's DevTools console.
Website • Getting Started • Documentation • Community
Derived from the GAAC (GitHub-as-a-Context) project.
A collection of on-device AI primitives for React Native with first-class Vercel AI SDK support. Run AI models directly on users' devices for privacy-preserving, low-latency inference without server...
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
Easy AI 让 AI 学习变得真的简单。 一个面向 AI 学习者、开发者和创作者的知识网站。
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.