Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
local-first MCP discovery runtime for agents — search before invoke, reduce prompt bloat, and route to local MCP tools
MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration
This is a MCP server for Claude Desktop that allows you to interact with SharePoint Online using the SharePoint REST API. It is designed to be used with the [Claude Desktop](https://claude.
Self-extending MCP server - build and execute custom AI tools at runtime
mcp-name: io.github.n24q02m/better-notion-mcp
Semantic F# for AI coding agents (Claude Code · Cursor · Copilot · Codex) — an MCP server that gives LLMs real FCS/FSAC compiler intelligence (find, check, types, rename) instead of grepping F#.
Your real Safari, logged in — no Chrome, no heat, no headless.
Drop a single JAR into Burp, connect Claude Code (or any MCP client), and drive every part of Burp Suite programmatically through AI agents.
The missing link between AI models and the real‑world web: one API that delivers clean, structured data from any site.
A plugin-based MCP server for React Native runtime debugging, inspection, and automation. Connects to Metro bundler via Chrome DevTools Protocol — for most features.
Junjie.M tool https://github.com/junjiem/dify-plugin-tools-mcp_sse issues
MCP server for external memory layer for AI agents + more . Download from pypi , and get started
Agent Skills
Buddhist epistemic principles as Claude Code skill — anti-hallucination, root-cause debugging, steadiness under pressure
白板讲解动画 skill。把讲解稿变成「真手绘过程」视频——图形一笔笔描出、文字逐笔写出、讲到哪画到哪（帧级音画对齐）。 > 本 skill 是**像素级笔画绘制**——帧帧确定、本地零成本、可秒级重渲，且支持"一图逐元素生长"的单画布模式（数学推导/流程图 友好）。
VelesDB One ~10 MB binary fuses vector + graph + columnar under a single query language — with an agent memory that shows its evidence and a deterministic context compiler that cuts your real, billed...
Don't make LLMs honest. Make every factual claim auditable. Do not gag the model. Strip its hallucinations sentence by sentence.
A collection of AI Skills for managing and evolving your skill library. These tools help you create, maintain, and continuously improve AI skills from GitHub repositories.
Self hosted Claude Code Runner for remote prompting
Inkbox platform plugin for Hermes Agent
Small-service SLO + error budget one-pager: SLI, target, burn actions, business-facing explanation.
BoringOS is the open-source operating system for AI agents - it ships with a shell portal plus installable modules, powered by agentic CLIs.
🦅 5-Layer Intelligent Skill Retrieval for Hermes Agent — hard triggers, FTS5, synonym dictionary, dense embedding, RRF fusion. Zero core modification.
面向 VTake 的 Agent 技能（skills）——将本地视频转换为 由 AI 编排的、卡片式的二次剪辑视频。
把一批文章样本自动炼化成可复用的写作风格档案，并生成一个按该风格写作的专属 Claude skill。/ A Claude Code skill that distills writing samples into a reusable style profile and forges a dedicated writing skill.