Cursor 설치 가이드
개발자용 MCP 서버와 함께 자주 쓰이는 AI 코드 에디터.
MCP Servers
Agent Skills

Autonomous formalization of research-level mathematics in Lean 4

是一个 OpenCode Skill,帮助你将 Markdown 文稿快速转化为可导入 PowerPoint 的 SVG 文件。

AIにまじなPPTXを作らせるClaude Codeスキル — スライド規約+62型スライド型カタログ(SlideSpec 36型+自由記述27パーツ)+生成パイプライン+機械チェック

A comprehensive Claude skill library for generating high-quality prompts on Higgsfield AI — the cinematic video and image generation platform.

Skill from : How To Use The Hedge Fund Method To Win Every Single Trade.

Claude Code 接低价/免费API做决策分工, Gemini/ChatGPT/Claude 等免费网页 AI 执行子任务。

academic-skills 是一个面向中文科研工作流的 ChatGPT skills 仓库,聚焦论文阅读、综述写作、arXiv 监控、飞书速递、审稿回复、实验总结、benchmark 抽取、research gap 分析,以及周报和组会材料生成。

由夜安团队研发的AI渗透测试平台,涵盖红队打点、SRC、CTF,特别是在红队领域有极为亮眼的存在

LLMs think gas is 30 gwei. It's 0.05. They've never heard of ERC-8004 or x402. They hallucinate contract addresses. This site fixes that.

这不是单个“论文精读 skill”,而是一整条 Zotero 文献处理工作流的打包仓库。

Turn any LLM into a deterministic World Cup prediction engine with one prompt.

40+ strategy files, 39 API scripts, and battle-tested frameworks for LinkedIn, Meta, and Google Ads - built from managing $200K+/month in B2B ad spend across 12+ accounts.
