检查数学证明的逻辑一致性和完整性
npx skills add mathtools/proof-checker@math-proof-checker
在终端运行即可安装。支持 Claude Code、Cursor、Windsurf 等 42 个 AI 平台。
Check mathematical proofs for logical consistency and completeness
使用 Tailwind CSS 构建设计系统，包含令牌、变体和响应式模式
Google Labs React 组件拼接，支持设计系统组合和状态共享
Google Labs React 组件模式，支持无障碍、性能和设计系统集成
Next.js 缓存策略，包含重新验证、按需缓存和过期重新验证