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.
☆ 1View skill
Databases AI Skills
Discover Databases skills, compare source repositories and read the instructions for each workflow.
Categories: Databases
Databases Clear filters
Browse skills
GitHub
sorry-checker
Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.
☆ 1View skill
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...
☆ 1View skill
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.
☆ 1View skill
GitHub
behavior-simulator
This skill enables real-time, lightweight simulation of emergent sorting behaviors in the Emergent Doom Engine (EDE)
☆ 1View skill
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.
☆ 1View skill
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...
☆ 1View skill
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...
☆ 1View skill
GitHub
overtime-stats
Thống kê và phân tích dữ liệu tài chính trong ứng dụng OverTime
☆ 1View skill
GitHub
vitest-testing-expert
Vitest testing framework expert for Vite integration, Jest migration, browser mode testing, and performance optimization
☆ 1View skill
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...
☆ 1View skill
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...
☆ 1View skill
GitHub
citizen-lookup
Tra cứu thông tin công dân qua các cổng chính phủ Việt Nam
☆ 1View skill
GitHub
excel-export
Xuất báo cáo kế toán ra file Excel
☆ 1View skill
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...
☆ 1View skill
GitHub
ui-pro-max
Hướng dẫn thiết kế giao diện "Pro Max" cho ứng dụng Flutter
☆ 1View skill
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...
☆ 1View skill
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á)
☆ 1View skill
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.
☆ 1View skill
GitHub
notifications
Lập lịch và quản lý thông báo trong ứng dụng
☆ 1View skill
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...
☆ 1View skill
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...
☆ 1View skill
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...
☆ 1View skill
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.
☆ 1View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.