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
An Expo Config Plugin that generates native Apple Targets like Widgets or App Clips, and links them outside the /ios directory.
critique Beautiful diff viewer for terminals, web previews, and agents.
SerpApi : Search API that makes it easy and fast to scrape Google and other search engines.
Deep Researcher Agent 24/7 Autonomous Deep Learning Experiment Agent
Unhead is a document head and template manager, improving reactive SSR JavaScript framework developer experience, SEO and performance. See the full introduction to Unhead.
🇮🇷 Persian Tools — The Complete TypeScript Toolkit for Persian (Farsi) Apps A comprehensive, library-agnostic TypeScript toolkit for Persian (Farsi) text, numbers, validation, and locale utilities...
Zog is a schema builder for runtime value parsing and validation. Define a schema, transform a value to match, assert the shape of an existing value, or both.
Create and manage TanStack Router and Start applications.
A better whois and domain intelligence toolkit. Interactive TUI with tabbed views for WHOIS, DNS, mail, SSL/TLS, HTTP headers, SEO analysis, and tech stack detection.
is a complete rewrite of LuaN1aoAgent, built on TypeScript and the Pi SDK for autonomous, authorized security research.
Derived from the GAAC (GitHub-as-a-Context) project.
Never lose a brilliant solution, code snippet, or architectural decision again. SpecStory captures, indexes, and makes searchable every interaction you have with AI coding assistants across all your...