GitHub
confluence-guide
Guide for proving confluence of a rewriting system. Use when asked to prove Church-Rosser or confluence properties.
☆ 1查看技能
Arthur742Ramos AI Skills
GitHub ↗浏览 Arthur742Ramos 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。
作者统计
已收录技能
39收录技能的仓库 Stars 合计
3仓库 Forks
3平均每个技能的仓库 Stars
0同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。
热门分类
近期收录动态
全部技能
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查看技能
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
security
Security review and vulnerability analysis. Use when asked to review code for security issues or harden implementations.
☆ 0查看技能
GitHub
performance
Performance optimizer with profiling strategies and optimization techniques
☆ 0查看技能
GitHub
api-design
Design RESTful APIs with proper naming, error handling, and documentation
☆ 0查看技能
GitHub
performance
Analyze and optimize code performance with profiling and benchmarking. Use when asked to improve performance or diagnose slowness.
☆ 0查看技能
GitHub
merge-upstream
Sync Azure Codex fork with OpenAI Codex upstream while preserving Azure features
☆ 0查看技能
GitHub
debug
Systematic debugging with root cause analysis and hypothesis-driven investigation
☆ 0查看技能
GitHub
security
Security auditor that identifies vulnerabilities using OWASP guidelines
☆ 0查看技能
GitHub
api-design
Design clean, maintainable APIs with good ergonomics. Use when asked to design or improve APIs.
☆ 0查看技能
GitHub
merge-upstream
Sync Azure Codex fork with OpenAI Codex upstream while preserving Azure features. Use when asked to merge or sync with upstream.
☆ 0查看技能
GitHub
code-review
Expert code reviewer that identifies bugs, security issues, and suggests improvements. Use when asked to review code or changes.
☆ 0查看技能
GitHub
test-writer
Generate comprehensive tests with edge cases, mocks, and proper coverage. Use when asked to write or improve tests.
☆ 0查看技能
GitHub
refactor
Safe refactoring with design patterns, backward compatibility, and incremental changes
☆ 0查看技能
GitHub
code-review
Expert code reviewer that identifies bugs, security issues, and suggests improvements
☆ 0查看技能
GitHub
test-writer
Generate comprehensive tests with edge cases, mocks, and proper coverage
☆ 0查看技能
GitHub
docs
Write and improve documentation including code comments, READMEs, and API docs. Use when asked to document code or write documentation.
☆ 0查看技能
GitHub
docs
Write clear documentation including API docs, READMEs, and code comments
☆ 0查看技能
GitHub
git-workflow
Git best practices for commits, branches, PRs, and conflict resolution
☆ 0查看技能
GitHub
azure-openai
Azure OpenAI expert for deployments, authentication, and best practices. Use when asked about Azure OpenAI configuration or troubleshooting.
☆ 0查看技能
GitHub
azure-openai
Azure OpenAI expert for deployments, authentication, and best practices
☆ 0查看技能
GitHub
debug
Systematic debugging with root cause analysis and hypothesis-driven investigation. Use when asked to debug issues or fix bugs.
☆ 0查看技能
GitHub
git-workflow
Git workflow guidance including branching, commits, and collaboration. Use when asked about git operations or workflow.
☆ 0查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。