Cursor Руководство установки
AI-редактор кода, часто используемый с developer MCP.
MCP Servers

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...

MCP server for accessing reMarkable tablet data

Stockfish + LLM chess coach: an MCP server and web board that explain your mistakes in plain English

- - Comprehensive tool documentation with real-world examples - - Data handling and privacy information - - Comprehensive Docker deployment, multi-architecture builds, and production setup

CLI for Tana integration - query, create, sync, and manage Tana workspaces with semantic search and MCP Server

This repo exposes the TMF620 command layer through two interfaces:

AI visibility tracker MCP for ChatGPT, Claude, Perplexity, Gemini & Google AIO. Free OSS/self-host; optional EUR 99 AI Visibility Audit.

An MCP server that provides KOSPI/KOSDAQ stock data from KRX Data Marketplace.

Official Sarvam MCP server. Exposes every public Sarvam API — STT, TTS, Translate, Transliterate, Language ID, Text Analytics, LLM (30B / 105B), Vision Document Intelligence, Pronunciation...

AI-powered logo design → SVG → full brand kit. Free, local, MCP-native.

This project contains MCP Servers for IBM Cloud which provide an interface layer between AI assistants and IBM Cloud services.

An MCP server that provides tools for sending and testing in sandbox via Mailtrap.
Agent Skills

AI-powered design review for KiCad. Analyzes schematics, PCB layouts, and Gerbers. Catches real bugs before you order boards.

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.

🌩️ Be like a god to a town of agents. Pause time. Whisper to a soul. Bend the next step. Reset the world — all from a single click.

The autonomous research agent that beats Claude Code and Codex by 2.5× on the same compute budget

山音超级编剧大师 - 全格式影视编剧 Skill 由 @山音 设计的自然语言驱动编剧 Agent Skill 覆盖 1-3 分钟概念超短片→90 分钟电影长片→多集剧集的全流程剧本创作,一站式搞定人物、大纲、场景、剧本全链路

Frappe UI provides a set of components and utilities for rapid UI development. Components are built using Vue 3 and Tailwind. Along with generic components like Button, Link, Dialog, etc.

简单说,就是跟 Claude 说一句话,它会帮我从每天的新论文里筛一轮,挑出值得看的,再把重点论文读完、写成 Obsidian 笔记。日常不用记一堆命令,基本就是:
· · · crafted on a 24×24 grid and trusted by 500,000+ developers.

Agent skill that audits vibe-coded apps for common security vulnerabilities introduced by AI coding assistants

为纯文本模型"看图“设计更好的视觉工具箱和技能,支持多图理解,图片问答,前端UI还原、GUI 自动化等,并可选无缝接入多个主流agent,直接识别粘贴图片| A vision toolkit and skill designed for text-only llms — image Q&A, long-screenshot OCR, frontend UI restoration, and...

Reactive MobX Form State Management