input-output-hk/agda-claude-skills
Claude skills for working with Agda code
Claude skills for working with Agda code
npx skills add input-output-hk/agda-claude-skillsClaude skills for working with Agda code
Claude code Skill：用 Kimi WebBridge 打开网页并抓取内容，AI 总结后写入 Obsidian 的 Markdown 笔记；支持批量与搜索结果页等场景。
Guide for creating effective skills. This skill should be used when users want to create a new skill (or update an existing skill) that extends Codex's capabilities with specialized knowledge, workflows, or tool integrations.
Bluera Inc Claude Code Plugin Marketplace
基于编程型 Agent Runtime 的本地优先 AI 工程团队工作台。用看板、任务、审查、Skills 和团队模板，把数字劳动力组织成可版本化、可复用、可协同的交付系统。
Official SurgePix skills for AI coding agents — file upload, background removal, and more. Compatible with Claude Code, Codex CLI, Cursor, Gemini CLI, and any SKILL.md-compatible agent.
MCP server that gives any LLM its own computer — managed Docker workspaces with live browser, terminal, code execution, document skills, and autonomous sub-agents. Self-hosted and open-source.