GitHub
confluence-guide
Guide for proving confluence of a rewriting system. Use when asked to prove Church-Rosser or confluence properties.
Arthur742Ramos AI Skills
GitHub ↗Explorez les skills IA publiés de Arthur742Ramos et consultez leurs instructions source.
Statistiques de l’auteur
Skills indexés
39Étoiles des dépôts des skills indexés
3Forks du dépôt
3Moyenne des étoiles par skill indexé
0Les étoiles d’un dépôt peuvent se répéter entre ses skills.
Catégories populaires
Indexation récente
Explorer
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.
GitHub
sorry-checker
Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.
GitHub
security
Security review and vulnerability analysis. Use when asked to review code for security issues or harden implementations.
GitHub
performance
Performance optimizer with profiling strategies and optimization techniques
GitHub
api-design
Design RESTful APIs with proper naming, error handling, and documentation
GitHub
performance
Analyze and optimize code performance with profiling and benchmarking. Use when asked to improve performance or diagnose slowness.
GitHub
merge-upstream
Sync Azure Codex fork with OpenAI Codex upstream while preserving Azure features
GitHub
debug
Systematic debugging with root cause analysis and hypothesis-driven investigation
GitHub
security
Security auditor that identifies vulnerabilities using OWASP guidelines
GitHub
api-design
Design clean, maintainable APIs with good ergonomics. Use when asked to design or improve APIs.
GitHub
merge-upstream
Sync Azure Codex fork with OpenAI Codex upstream while preserving Azure features. Use when asked to merge or sync with upstream.
GitHub
code-review
Expert code reviewer that identifies bugs, security issues, and suggests improvements. Use when asked to review code or changes.
GitHub
test-writer
Generate comprehensive tests with edge cases, mocks, and proper coverage. Use when asked to write or improve tests.
GitHub
refactor
Safe refactoring with design patterns, backward compatibility, and incremental changes
GitHub
code-review
Expert code reviewer that identifies bugs, security issues, and suggests improvements
GitHub
test-writer
Generate comprehensive tests with edge cases, mocks, and proper coverage
GitHub
docs
Write and improve documentation including code comments, READMEs, and API docs. Use when asked to document code or write documentation.
GitHub
docs
Write clear documentation including API docs, READMEs, and code comments
GitHub
git-workflow
Git best practices for commits, branches, PRs, and conflict resolution
GitHub
azure-openai
Azure OpenAI expert for deployments, authentication, and best practices. Use when asked about Azure OpenAI configuration or troubleshooting.
GitHub
azure-openai
Azure OpenAI expert for deployments, authentication, and best practices
GitHub
debug
Systematic debugging with root cause analysis and hypothesis-driven investigation. Use when asked to debug issues or fix bugs.
GitHub
git-workflow
Git workflow guidance including branching, commits, and collaboration. Use when asked about git operations or workflow.
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é.