Hooks

提升你的工作效率。这个插件自动从你的 Claude Code 对话中提取关键洞察，并帮助你审计 CLAUDE.md 配置、创建 MCP 服务器和子代理，优化开发工作流程。

你需要一个聪慧的证明助手吗？这个插件为你提供了 Lean 4 定理证明的系统化工作流，包括 sorry 管理、mathlib 库的正确使用、验证数学以及编译器引导的修复。让你在证明过程中更高效、更有条理。

你需要应对复杂的巴西金融监管吗？FinOps 团队提供了两个专家级代理，可以帮你分析 BACEN、RFB 和开放银行的合规要求，自动生成符合规范的报表模板。从需求分析到代码生成，全程自动化处理。

你可以轻松将 FastAPI 项目中的 asyncpg 代码转换为 SQLAlchemy。插件提供自动检测、智能分析和逐步转换，支持 Supabase 集成和懒加载优化，让数据库迁移变得简单而安全。

为你的 Elixir 项目提供强大的静态类型分析。通过 Dialyzer 自动检查代码中的类型错误和潜在问题，在提交前发现 bug，确保代码质量。

你需要查询 Claude Code 的官方文档吗？这个插件会自动同步最新的官方文档资源，让你在 Claude 中随时获取最新的插件、技能、命令和钩子的使用指南。无需离开编辑器，直接访问完整的参考资料。

agent-kit 是为开发者打造的基础插件。它内置了多个强大的 MCP 服务（Chrome 开发者工具、Sentry 错误追踪、Agentsfera AI 平台），并通过智能 Hook 机制在关键时刻自动执行脚本，帮助你自动化工作流、提升开发效率。

你可以使用 nexus 作为个人技能中枢，它会在每次会话启动时自动同步和初始化你的专业技能库。无需手动管理，所有域专知识和工具都会被自动加载并随时可用。