Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
MCP Servers
MCP server that implements Claude Code's agent teams protocol for any MCP client.
— codebase-memory-mcp-pro is a community fork of (MIT License, © 2025 DeusData), maintained by @win4r.
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.
Point at any GraphQL or REST API. Ask questions in natural language. The agent fetches data, stores it in DuckDB, and runs SQL post-processing. Rankings, filters, and joins over returned data work .
a coding Agent, rpc plugin, sub-agents, hashline edits, and mcp
A remote MCP server for SubmitMap, a directory of product launch platforms and startup directories.
Claudeに身体性を与えるMCP群
MCP server that enables the use of OpenAI's high-end models and their powerful web search capabilities.
Tableau's official MCP Server. Helping agents see and understand data.
MoLing is a computer-use and browser-use MCP Server that implements system interaction through operating system APIs, enabling file system operations such as reading, writing, merging, statistics,...
Open-source meeting transcription API for Google Meet, Microsoft Teams & Zoom. Auto-join bots, real-time WebSocket transcripts, MCP server for AI agents. Self-host or use hosted SaaS.
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
NeMo Gym is a library for evaluating and improving models and agents using environments. NeMo Gym provides infrastructure to develop environments, scalably run evaluation and training, and a...
· · · crafted on a 24×24 grid and trusted by 500,000+ developers.
fly ai agent skill