Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
Lean Theorem Prover MCP
An MCP for WireShark (tshark). Empower LLM's with realtime network traffic analysis capability
MCP server for Claude to access Outlook data via Microsoft Graph API
An implementation of Model Context Protocol (MCP) server for Argo CD.
Local-first Apple Health MCP server. Lets AI assistants answer questions about your sleep, workouts, activity and heart data from a local export.
Things.app MCP Server
Git-native persistent memory for AI coding agents. Implements Google OKF v0.2 with sub-300µs in-memory BM25 search, embedded MCP server, and progressive disclosure.
A docker MCP Server (modelcontextprotocol)
Official SonarQube MCP Server for code quality and security in AI agents
An MCP for Godot that lets you create and edit games in the Godot game engine with tools like Claude
vs-punk: ADT to MCP bridge - Vibe code in ABAP / AMDP
TDA - Thread Dump Analyzer (for Java). Analyze your Thread Dumps with a GUI or use it as MCP Server.
Agent Skills
"The parts that separate a fun demo from a stable toolchain: memory, compression, verification, routing, proactive jobs."
Ark UI 是一套基于公开设计证据、采用 clean-room 方法实现的界面设计与前端工作流。它支持两个互相独立的选择轴：
Comprehensive .NET development skills for modern C#, ASP.NET, MAUI, Blazor, and cloud-native applications
把中文口播稿与对应的 .srt 字幕，变成可直接录屏的 16:9 自动播放信息动画 HTML。
are modular packages of instructions, resources, and scripts that teach an agent to handle a specialized task. On disk, a skill is just a folder: a SKILL.
Trading strategies and intelligence tools for Superior Trade — natural-language strategy authoring, backtesting, and autonomous deployment on Hyperliquid, Lighter, and Polymarket.
给 Codex CLI 加上深度调研、图片生成、浏览器调试等能力，配好多模型切换，开箱即用。
If you're a technical founder pouring your own money, your nights, and your weekends into something you believe in, with , then this is for you. Especially you.
Codex skill that turns a rough coding idea into a Codex /goal-ready contract.
Скилл для Claude. Убирает 54 признака нейросети в русском тексте: канцелярит, кальки, фингерпринты ChatGPT и Claude. Метит в то, что меряют GPTZero, DivEye, RuBERT: поднимает perplexity и burstiness.
[comment]: <> (Table of contents generated with markdown-toc http://ecotrust-canada.github.io/markdown-toc/)
Build academic conference posters as a single HTML/CSS file, rendered to print-ready PDF via headless Chromium.