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
Get your animations easily done with only Tailwind CSS classes.
Practical AI agent skills for social media research, powered by ScrapeCreators.
"I am not afraid of storms, for I am learning how to sail my ship." – Louisa May Alcott
Call your React components like async functions — they resolve with a value.
A compiler-first reactive JavaScript UI framework. No virtual DOM. Compile-time JSX transforms. Proxy-based stores. Surgical DOM patching.
A curated list of papers, projects, and agent skills on using LLMs for vulnerability detection and discovery.
AI-Powered SSH Client and Remote Operations Workspace SSH, Telnet, Serial, RDP/VNC, SFTP, port forwarding, and lightweight editing in one native workspace. GPU-rendered. Free. No account needed.
Agent Skills · Device SDK · EVA CLI · Model Gateway · Edge AI 从一句需求到一个可运行的实时多模态应用，让 AI Agent 参与开发、管理云端资源，并将智能带到每一台设备。
react-intl-universal is a React internationalization package developed by Alibaba Group.
A collection of on-device AI primitives for React Native with first-class Vercel AI SDK support. Run AI models directly on users' devices for privacy-preserving, low-latency inference without server...
本仓库目前继续保持公开访问，暂不归档或删除，但已停止功能与兼容性更新。后续开发、版本发布和问题修复均已迁移至 。建议所有新老用户下载并使用新项目。 项目主页 / Project home · 最新版本下载 / Latest release This repository remains publicly accessible and is not being archived or...
这不是又一本 Obsidian 教程，而是「AI 时代的知识管理方法论 + 落地工具」：