GitHub
aristotle
Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a file with sorries that needs automated proof search. Handles API setup and result verification.
☆ 1查看技能
数据库 AI 技能
发现 数据库 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 数据库
数据库 清除筛选
全部技能
GitHub
sorry-checker
Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.
☆ 1查看技能
GitHub
cli-designer
Design and review CLI commands following clig.dev and 12-Factor CLI principles. Use when adding commands, designing flags/arguments, writing help text, handling errors, formatting output, or reviewing CLI code...
☆ 1查看技能
GitHub
stackhawk-api-sherpa
Use when designing new hawkop commands, exploring StackHawk API capabilities, or working with API features. Guides through endpoint selection, CLI design, and implementation.
☆ 1查看技能
GitHub
behavior-simulator
This skill enables real-time, lightweight simulation of emergent sorting behaviors in the Emergent Doom Engine (EDE)
☆ 1查看技能
GitHub
literate-writer
Guide coding agents to write code, tests, and documentation as a single coherent narrative in clear natural language prose, with identifiers that read as grammatically correct English.
☆ 1查看技能
GitHub
code-review
Code review guidelines for commits and file changes. Covers four categories: Quality (security, correctness, maintainability), Regression (breaking changes, API compatibility), Documentation (code docs, changel...
☆ 1查看技能
GitHub
webpack-expert
Webpack build optimization expert with deep knowledge of configuration patterns, bundle analysis, code splitting, module federation, performance optimization, and plugin/loader ecosystem. Use PROACTIVELY for an...
☆ 1查看技能
GitHub
overtime-stats
Thống kê và phân tích dữ liệu tài chính trong ứng dụng OverTime
☆ 1查看技能
GitHub
vitest-testing-expert
Vitest testing framework expert for Vite integration, Jest migration, browser mode testing, and performance optimization
☆ 1查看技能
GitHub
react-performance
React performance optimization specialist. Expert in DevTools Profiler, memoization, Core Web Vitals, bundle optimization, and virtualization. Use this skill for performance bottlenecks, slow renders, large bun...
☆ 1查看技能
GitHub
vue-expert
Provides Vue 3 expertise including Composition API, reactivity system, component patterns, performance optimization, state management with Pinia, and Nuxt.js integration. Use this skill for Vue component issues...
☆ 1查看技能
GitHub
citizen-lookup
Tra cứu thông tin công dân qua các cổng chính phủ Việt Nam
☆ 1查看技能
GitHub
excel-export
Xuất báo cáo kế toán ra file Excel
☆ 1查看技能
GitHub
react-expert
Provides React 18/19 expertise including hooks, component patterns, performance optimization, state management, and Server Components. Use this skill for React component issues, hook errors, re-rendering proble...
☆ 1查看技能
GitHub
ui-pro-max
Hướng dẫn thiết kế giao diện "Pro Max" cho ứng dụng Flutter
☆ 1查看技能
GitHub
triage-expert
Specializes in context gathering, initial problem diagnosis, and routing issues to appropriate domain experts. Use this skill when encountering errors, performance issues, or unexpected behavior before engaging...
☆ 1查看技能
GitHub
web-scraping
Cào dữ liệu thị trường từ các website Việt Nam (giá vàng, xăng, tỷ giá)
☆ 1查看技能
GitHub
state-management-expert
Expert in React state management including Redux Toolkit, Zustand, Jotai, React Query/TanStack Query, and Context API. Use for state architecture decisions, performance issues, or complex state logic.
☆ 1查看技能
GitHub
notifications
Lập lịch và quản lý thông báo trong ứng dụng
☆ 1查看技能
GitHub
oracle
Use this agent for audits, debugging nasty bugs, deep research, getting second opinions on approaches, reviewing commits for correctness, or analyzing complex problems. Invoke when you need advanced reasoning a...
☆ 1查看技能
GitHub
edition-data-author
Creates and validates catalog items for edition JSON files including spells, qualities, gear, augmentations, weapons, armor, adept powers, foci, and complex forms. Use when adding new items to core-rulebook.jso...
☆ 1查看技能
GitHub
architecture-reference
Deep-dive reference for Shadow Master subsystems including Combat, Matrix, Rigging, Inventory, Contacts, Sync, and Security. Use when working on specific game mechanics or need detailed file locations for a sub...
☆ 1查看技能
GitHub
testing
Test infrastructure reference for Shadow Master. Use when writing tests, finding existing test files, or running test suites. Covers Vitest unit tests, Playwright E2E tests, and testing patterns.
☆ 1查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。