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, HIT detection, and result verificatio...
☆ 0查看技能
数据库 AI 技能
发现 数据库 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 数据库
数据库 清除筛选
全部技能
GitHub
lean-hit-development
Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group (pi1) calculations, implementing encode-decode proofs, or adding new topologica...
☆ 0查看技能
GitHub
rweq-proofs
Helps construct RwEq (rewrite equivalence) proofs using transitivity, congruence, and canonical lemmas from the LND_EQ-TRS system. Use when proving path equalities, working with quotients, or establishing rewri...
☆ 0查看技能
GitHub
path-tactics
Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure calc-based proofs cleanly.
☆ 0查看技能
GitHub
lean-hit-development
Guides adding new Higher Inductive Types to the ComputationalPaths library. Use when creating new HITs, defining fundamental group (pi1) calculations, implementing encode-decode proofs, or adding new topologica...
☆ 0查看技能
GitHub
web-design-reviewer
This skill enables visual inspection of websites running locally or remotely to identify and fix design issues. Triggers on requests like "review website design", "check the UI", "fix the layout", "find design...
☆ 0查看技能
GitHub
performance-optimization
Performance optimization playbook (measure → diagnose → fix → verify) for this repo (React + R3F + Three.js + Vite). Use when asked to improve FPS, reduce jank, lower draw calls, optimize loading/bundle size, o...
☆ 0查看技能
GitHub
webapp-testing
Toolkit for interacting with and testing local web applications using Playwright. Supports verifying frontend functionality, debugging UI behavior, capturing browser screenshots, and viewing browser logs.
☆ 0查看技能
GitHub
ui-skills
Opinionated constraints for building better interfaces with agents.
☆ 0查看技能
GitHub
testing-patterns
Vitest and React Testing Library patterns for React applications. Use when writing unit tests, creating test factories, or following TDD workflow. Triggers on tasks involving tests, testing, Vitest, describe/it...
☆ 0查看技能
GitHub
figma-to-code
Convert Figma designs to React components with pixel-perfect accuracy
☆ 0查看技能
GitHub
theme
Create custom DaisyUI themes from natural language descriptions. No token knowledge required.
☆ 0查看技能
GitHub
design
Component recommendations and design-to-code translation for designers working with Claude Code.
☆ 0查看技能
GitHub
code-documentation
Updates project documentation in markdown files when requested. Use when the user asks to update, modify, or create project documentation such as README files, API docs, architecture docs, or other markdown doc...
☆ 0查看技能
GitHub
pulumi-python-cicd
Expert guidance for Pulumi infrastructure-as-code with Python and CI/CD pipeline integration. Use this skill when users ask about: (1) Creating or managing Pulumi projects with Python, (2) Writing Pulumi stacks...
☆ 0查看技能
GitHub
granola-sync
Manage Granola meeting transcript extraction and sync. Use when: - User asks about meeting transcripts, notes, or summaries - User wants to check sync status or logs - User needs to re-extract meetings or troub...
☆ 0查看技能
GitHub
vulkan
Best practices and guidelines for writing modern Vulkan 1.3+ code in AstralRenderer
☆ 0查看技能
GitHub
astralrenderer-architecture
Guidelines for navigating and extending the AstralRenderer engine architecture
☆ 0查看技能
GitHub
modern-c
Standards for using C++23 features in the codebase
☆ 0查看技能
GitHub
log-session
Log the current coding session to project memory. Use at the end of a session to record accomplishments, decisions, and follow-ups. Triggers on: log this session, save session, end session, record what we did.
☆ 0查看技能
GitHub
init-memory
Initialize project memory for the current project. Creates context.json, sessions.json, and decisions.json. Triggers on: init memory, setup memory, initialize project memory, start tracking this project.
☆ 0查看技能
GitHub
init-memory
Initialize project memory for the current project. Creates context.json, sessions.json, and decisions.json. Triggers on: init memory, setup memory, initialize project memory, start tracking this project.
☆ 0查看技能
GitHub
log-session
Log the current coding session to project memory. Use at the end of a session to record accomplishments, decisions, and follow-ups. Triggers on: log this session, save session, end session, record what we did.
☆ 0查看技能
GitHub
convert-prd-to-json
Convert PRDs to prd.json format for the Ralph autonomous agent system plugin. Use when you have an existing PRD and need to convert it to Ralph's JSON format. Triggers on: convert this prd, turn this into ralph...
☆ 0查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。