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
This repository provides a collection of composable Dockerfiles and build scripts for deploying and running software, full applications, and select demonstrators on AMD Ryzen AI hardware.
🧬 Darwinia Give your AI agent the power to evolve its own trading strategies. Trading agents that discover strategies through Darwinian selection and adversarial self-play — not human-written rules.
Why use many token when few token do trick?
不露脸商业/消费调查长片的完整生产流程：一句话出 10 分钟成片，以 Claude Code skill 形式开源（TTS 逐字时间戳、素材覆盖、Remotion 拼贴、闪避混音、封面与八平台文案）
把法律画出来 · Make the Law Visible —— 给法律人的诉讼可视化工具集：把凌乱的诉讼图重画成能进材料的图，直接读案件材料画准一张时间轴，并提供庭前三大法宝（大事记表、庭审对抗图、法律关系图）。Claude Skill / DeepSeek Harness 通用。
小提示：导入数据时**，尽量不要用 JSON——多数微信导出工具的 JSON 是给 LLM 微调用的格式，没有时间戳，跑不出 K 线。详见 输入格式。
—— 一套可被任意 AI agent（Claude / GPT / Cursor…）使用的**。
面向 AI Agents 的安全、可持久化沙箱执行平台（Secure, Persistent Execution Platform for AI Agents）
This repository gives you an installable skill for ASD-STE100 writing. Use it to write or rewrite technical text in Simplified Technical English.
Your future self will thank you. Or blame you. It depends on the diff.
Go-based tool for managing Telkomsel accounts via Telegram Bot, Terminal CLI, or MCP Server (for AI agents).
TL;DR: Thea brings coding agents to the physical world.