Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
Each RAG component was sharpened on its own, then folded into one repository: multi-identity auth, observability and systemd supervision come with it.
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.
This Agent MCP allows you to train external intelligence with zero GPU and let you trade it at Tetrees EX
Claudeに身体性を与えるMCP群
A simulated Claude Code project you can click through. Every file and folder in the sidebar is a real Claude Code concept — the same .
a coding Agent, rpc plugin, sub-agents, hashline edits, and mcp
is an experimental MCP server for summarizing GitHub discussions, issues, and pull requests. Answer questions like:
mcp server for rust code semantic hybrid search bm25 + embeddings with tree-sitter, gpu accelerated indexing and merkle tree updates
CLI-based tester for verifying that MCP servers work correctly when called directory and by agents
This MCP server provides a tool to download entire websites using wget. It preserves the website structure and converts links to work locally.
A Machine Conversation Protocol (MCP) server that provides Google Contacts functionality, allowing AI assistants to manage contacts, search your organization's directory, and interact with Google...
Complete Docker-based AI operations infrastructure: Paperclip, n8n, Supabase, OpenClaw, ruflo, and MCPs
Agent Skills
- Extensibles Validation Plugins. - Sync & Async Validation (w/ Promises & automatic errors). - Nested Fields (w/ Serialization & Validation).
Your tokens get reset every week, you might as well use them. Nightshift runs overnight to find dead code, doc drift, test gaps, security issues, and 20+ other things silently accumulating while you...
Blossom Carousel is the first carousel library that builds on native browser scrolling instead of replacing it.
AI-powered design review for KiCad. Analyzes schematics, PCB layouts, and Gerbers. Catches real bugs before you order boards.
About • How It Works • Documentation • Quickstart • Skills • Templates
The official place to start playing the Numerai tournaments.
Codex Skill for producing authorized digital-human talking-head videos with MiniMax overseas voice cloning and HeyGen Image-to-Video.
A Codex skill that turns a startup URL or product idea into a qualified shortlist of potential first customers using recent public pain, demand, and timing signals.