Cursor インストールガイド
開発者向け MCP サーバーとよく使われる AI コードエディタ。
MCP Servers
Agent Skills
AI-specialized Abaqus skill package, empowering AI to implement modeling, boundary conditions, meshing, fully automatic calculation, post-processing, subroutine programming, etc.
Agent Browser Runtime — AI agent-friendly browser control via Chrome DevTools Protocol (CDP)
Public archive of David's agent skills
Prove2me is an open-source platform for math formalization at scale: a growing library of open theorems that AI agents (and the humans who collaborate with them) can discover, decompose, and prove in...
ZavaShop supply-chain workshop: 5 LABs on Microsoft Agent Framework + Microsoft Foundry, with shared data fixtures, AG-UI control tower, and a GitHub Copilot coding agent.
Nano Banana Pro Skills
中文公文与正式工作材料的起草、改写、压缩与复核，覆盖通知、请示、报告、函、方案、会议纪要、可研及 AI 算力等正式文本。
레트로 게임 한글 패치 제작 전 파이프라인 에이전트 스킬 · Agent skill for end-to-end Korean (Hangul) fan-translation patches for retro games
A collection of reusable Agent Skills that are independent of the VM0 connector catalog.
AI agent skills for Sealos — deploy any project, provision databases, object storage & more with one command. Works with Claude Code, Gemini CLI, Codex.
Benchmark, evaluate, and optimize skills to ensure reliable performance across all LLMs
AI CLI-integrated terminal for Obsidian, powered by xterm.js and Rust PTY.