GitHub
confluence-guide
Guide for proving confluence of a rewriting system. Use when asked to prove Church-Rosser or confluence properties.
☆ 1View skill
Arthur742Ramos AI Skills
GitHub ↗Browse published AI skills maintained by Arthur742Ramos. Compare skill descriptions and follow each source repository for setup instructions.
Author statistics
Indexed skills
39Repository stars across indexed skills
3Repository forks
3Average repository stars per indexed skill
0Repository stars may repeat across skills from the same repository.
Popular categories
Recent indexing activity
Browse skills
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
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
security
Security review and vulnerability analysis. Use when asked to review code for security issues or harden implementations.
☆ 0View skill
GitHub
performance
Performance optimizer with profiling strategies and optimization techniques
☆ 0View skill
GitHub
api-design
Design RESTful APIs with proper naming, error handling, and documentation
☆ 0View skill
GitHub
performance
Analyze and optimize code performance with profiling and benchmarking. Use when asked to improve performance or diagnose slowness.
☆ 0View skill
GitHub
merge-upstream
Sync Azure Codex fork with OpenAI Codex upstream while preserving Azure features
☆ 0View skill
GitHub
debug
Systematic debugging with root cause analysis and hypothesis-driven investigation
☆ 0View skill
GitHub
security
Security auditor that identifies vulnerabilities using OWASP guidelines
☆ 0View skill
GitHub
api-design
Design clean, maintainable APIs with good ergonomics. Use when asked to design or improve APIs.
☆ 0View skill
GitHub
merge-upstream
Sync Azure Codex fork with OpenAI Codex upstream while preserving Azure features. Use when asked to merge or sync with upstream.
☆ 0View skill
GitHub
code-review
Expert code reviewer that identifies bugs, security issues, and suggests improvements. Use when asked to review code or changes.
☆ 0View skill
GitHub
test-writer
Generate comprehensive tests with edge cases, mocks, and proper coverage. Use when asked to write or improve tests.
☆ 0View skill
GitHub
refactor
Safe refactoring with design patterns, backward compatibility, and incremental changes
☆ 0View skill
GitHub
code-review
Expert code reviewer that identifies bugs, security issues, and suggests improvements
☆ 0View skill
GitHub
test-writer
Generate comprehensive tests with edge cases, mocks, and proper coverage
☆ 0View skill
GitHub
docs
Write and improve documentation including code comments, READMEs, and API docs. Use when asked to document code or write documentation.
☆ 0View skill
GitHub
docs
Write clear documentation including API docs, READMEs, and code comments
☆ 0View skill
GitHub
git-workflow
Git best practices for commits, branches, PRs, and conflict resolution
☆ 0View skill
GitHub
azure-openai
Azure OpenAI expert for deployments, authentication, and best practices. Use when asked about Azure OpenAI configuration or troubleshooting.
☆ 0View skill
GitHub
azure-openai
Azure OpenAI expert for deployments, authentication, and best practices
☆ 0View skill
GitHub
debug
Systematic debugging with root cause analysis and hypothesis-driven investigation. Use when asked to debug issues or fix bugs.
☆ 0View skill
GitHub
git-workflow
Git workflow guidance including branching, commits, and collaboration. Use when asked about git operations or workflow.
☆ 0View 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.