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
Jolt is a zkVM (zero-knowledge virtual machine) for RISC-V, built to be the simplest, fastest, and most extensible general-purpose of its kind.
The official place to start playing the Numerai tournaments.
Fast, AI-ready, and zero-config. Free and open source, forever.
Foundation Lab is a native iOS and macOS workbench for learning, testing, and shipping with Apple's Foundation Models framework.
Lakehouse graph database for context assembly & multi-agent coordination Multimodal retrieval · Git-style branching · object-storage native
for quasi-experimental designs in Python.
橙皮书 (Orange Book) Series · by HuaShu (花叔)
This repository provides technical guidance for users and developers using Amazon EC2 instances powered by AWS Graviton processors (including the latest generation Graviton5 processors).
The MATLAB Agentic Toolkit brings trusted MATLAB capabilities to AI agents, making engineering and scientific workflows agent-ready.
A high-performance Markdown parser and renderer for Angular, React, Svelte, Vue, HTML and ANSI.
Visual skill manager for AI agents. Desktop app and TUI.
License MIT · skills.sh Compatible Runtime