Cursor Install Guide
AI code editor frequently used with developer-focused MCP servers.
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
JJ's special video production workflow for programatic editing.
Claude Code를 "한 번의 대화를 잘 굴리는 도구"가 아니라 로 다루기 위한 실습들을 챕터·절 단위로 묶어 두었습니다. 각 예제 폴더에는 자체 README.md 가 들어 있으니 실행 방법과 결과 비교는 해당 폴더의 문서를 참고하세요.
A production-ready Claude Code configuration for product managers. Drop these files into your project and Claude Code immediately understands PM work.
Claude Code marketplace plugin — full digital chip design pipeline. 15 plugins · 16 skill files · 13 chip-design domains + infrastructure + pipeline orchestrator · closed-loop verification↔RTL...
AntiGravity 專屬懶人包文件（不含個人資料與研究產物）
Kebab-case folders, validated YAML frontmatter, typed blocks, progressive disclosure - exported as a clean SKILL.md bundle.
Skills for Crypto
Read it online at : fully searchable, with 108 documentation pages, 104 reference PDFs, and 212+ topics across 23 domains.
Fill-in-your-own-data framework for YouTube / short-form video automation: CapCut JSON + ffmpeg tooling + an onboarding questionnaire. Ships with zero private data.
🚧 We are actively refining our core, resumption protocols, and runtime specifications, which will introduce major breaking changes prior to a stable release.
如果在使用过程中遇到问题，请通过 Issues 反馈功能正确性问题和功能请求，其他问题请通过 Discussions 反馈～
Sync and store bookmarks locally, manage Field Theory Library and command workflows, and make local context available to Claude Code, Codex, or any agent with shell access.