Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
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
is an API-first Ruby web framework that combines the developer experience of Rails with fiber-based concurrency.
When Codex starts feeling heavy after weeks of chats, terminals, logs, worktrees, and project history, this gives you a calm way to inspect what is going on and reduce local drag.
A CLI written in Go language that writes git commit messages or do a code review brief for you using ChatGPT AI (gpt-4.1, gpt-4o model) and automatically installs a git prepare-commit-msg hook.
AI 短剧/漫剧创作 skill 合集，覆盖剧本、资产、分镜、图片/视频提示词到独立审查全链路，适配 Claude Code 与 Codex。| An AI short-drama skill suite for Claude Code & Codex: scripts, assets, storyboards, image/video prompts, and independent...
[placeholder: animated GIF showing the full pipeline — paper fetch → parsing → ambiguity audit → code generation → walkthrough notebook]
Model export recipes, Python primitives, and Swift runtime utilities for building on-device AI with Core AI.
![npm version][npm-version-href] ![npm downloads][npm-downloads-href] ![License][license-href] ![Nuxt][nuxt-href]
Github开源项目:每月📈飙升榜 top30,每月1号早上8点更新
An interactive five-chapter night walk through a Kyoto mountain temple, rendered live in Three.js.
Akto is the fastest growing AI Security platform for your teams to secure AI agents, MCPs, LLMs, Agent skills, Gen AI apps in your organization.
upfetch is an advanced fetch client builder with standard schema validation, automatic response parsing, smart defaults and more.
A collection of Pi Coding Agent customized instances. Why? To showcase what it looks like to hedge against the leader in the agentic coding market, Claude Code.