Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.
An MCP server for Rocq (formerly Coq) proof development. It exposes compilation, verification, querying, and interactive tactic stepping as MCP tools, so that LLM agents can write and check Rocq...
This project provides a modular, resource-oriented FastMCP server for interacting with Microsoft Graph API.
Issue tracking for the agentic coding era. One binary. One SQLite database (plus an attachments dir). MCP built in.
AI assistants are powerful, but they struggle with Kubernetes because:
Universal Memory Protocol (UMP) - an open standard for agent memory. The third interop layer beside MCP (tools) and A2A (coordination).
An MCP server that gives AI assistants direct access to your Help Scout inboxes, conversations, customers, organizations, threads, and Docs knowledge base.
Grok Build plugin for Claude Code, Grok, Codex, Cursor and others. Provides /grok:search, /grok:review, /grok:rescue commands + grok_search MCP tool for live X/web search.
Wavelet-based multi-resolution context management for LLMs via MCP.
Ultimate Telegram Bot API MCP server — full v9.6 coverage, meta-mode, rate limiting, circuit breaker. TypeScript.
Search and memory across your AI coding sessions — one index over Claude Code, Codex, and Pi. Fuzzy-find and resume from the CLI, give agents recall via MCP, and get usage reports.
A Multi Agent Memory MCP That Connect Agents Across Systems and Machines
Agent Skills
An Expo Config Plugin that generates native Apple Targets like Widgets or App Clips, and links them outside the /ios directory.
本仓库目前继续保持公开访问，暂不归档或删除，但已停止功能与兼容性更新。后续开发、版本发布和问题修复均已迁移至 。建议所有新老用户下载并使用新项目。 项目主页 / Project home · 最新版本下载 / Latest release This repository remains publicly accessible and is not being archived or...
A cross-platform desktop app (Tauri + React) for installing, organizing, updating, and syncing Agent Skills to multiple AI coding tools' global or project-level skills directories.
Screenshot testing is key to validate your app's appearance and functionality. It efficiently detects visual issues and tests the app as users would use it, making it easier to spot problems.
agent skills for vibe motion
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...
- Extensibles Validation Plugins. - Sync & Async Validation (w/ Promises & automatic errors). - Nested Fields (w/ Serialization & Validation).
Large Language Models (LLMs) have rapidly evolved into powerful general-purpose reasoning and generation engines.
Jolt is a zkVM (zero-knowledge virtual machine) for RISC-V, built to be the simplest, fastest, and most extensible general-purpose of its kind.
https://github.com/user-attachments/assets/023c0a9c-194a-45a9-bb88-ac8f16f5ffd5
The official place to start playing the Numerai tournaments.
基于 Vant 设计语言，为小程序与 H5 提供一致、类型安全且高度可定制的开发体验。