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.
Skills IA Bases de données
Découvrez les skills Bases de données, comparez leurs dépôts et consultez leurs instructions.
Catégories: Bases de données
Bases de données Effacer les filtres
Explorer
GitHub
sorry-checker
Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.
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...
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.
GitHub
behavior-simulator
This skill enables real-time, lightweight simulation of emergent sorting behaviors in the Emergent Doom Engine (EDE)
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.
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...
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...
GitHub
overtime-stats
Thống kê và phân tích dữ liệu tài chính trong ứng dụng OverTime
GitHub
vitest-testing-expert
Vitest testing framework expert for Vite integration, Jest migration, browser mode testing, and performance optimization
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...
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...
GitHub
citizen-lookup
Tra cứu thông tin công dân qua các cổng chính phủ Việt Nam
GitHub
excel-export
Xuất báo cáo kế toán ra file Excel
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...
GitHub
ui-pro-max
Hướng dẫn thiết kế giao diện "Pro Max" cho ứng dụng Flutter
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...
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á)
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.
GitHub
notifications
Lập lịch và quản lý thông báo trong ứng dụng
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...
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...
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...
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.
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.