Search: "correctness"
7 skills found
review-pr
Research & AnalysisReviews the current branch's changes against its base branch as a pull request: correctness of new and modified code, test coverage for it, and documentation accuracy. Use when asked to review a branch, a diff, or a pull request.
🌐universal
7.5k
643
View
1. the engine and the axiomcode command
Coding & DevelopmentTurn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
✨gemini🤖claude⌨️cursor🌐universal
118
14
View
Asupersync
Coding & DevelopmentAsync runtime for Rust where correctness is structural: region-owned tasks, cancel-correct protocols, capability-gated effects, and deterministic replay testing
🤖claude💬gpt🌐universal
284
30
View
review-notes
Research & AnalysisWrite a focused code review covering correctness, tests, and follow-ups. Use when reviewing a diff or summarizing review comments.
🌐universal
9
5
View
review-notes
Research & AnalysisWrite a focused code review covering correctness, tests, and follow-ups. Use when reviewing a diff or summarizing review comments.
🌐universal
9
5
View
review-notes
Research & AnalysisWrite a focused code review covering correctness, tests, and follow-ups. Use when reviewing a diff or summarizing review comments.
🌐universal
9
5
View
review-pr
Research & AnalysisReview an affiliate-mcp pull request for correctness, architecture, tests, product and customer-journey clarity, documentation, and merge readiness. Use when asked to review, re-review, supervise, or unblock a PR.
🌐universal
7
1
View
Showing 1-7 of 7 skills