Skill Claude CodeCodex
Database & migration safety audit of changed code: destructive/non-reversible migrations, data-loss transformations, missing indexes, constraint correctness, query correctness, transaction boundaries. Use for migration review, DB safety, index or query-correctness audit of a diff.
Skill Claude CodeCodex
Repo-wide duplication and canonical-reuse audit: copy-pasted logic, near-duplicate functions/components, reinvented utilities, missing shared abstractions. Use for DRY review, duplicate detection, or canonical-helper reuse audit of a diff.
Skill Claude CodeCodex
Frontend design audit of changed code: component structure, state placement, prop drilling, design-system consistency, effect correctness, loading/error states, i18n-readiness. Use for frontend review, component or state audit, UI consistency check of a diff.
Skill Claude CodeCodex
Performance audit of changed code: N+1 queries, algorithmic complexity regressions, unnecessary re-renders, memory leaks, blocking work, missing pagination, bundle bloat. Use for performance review, N+1 check, complexity or memory-leak audit of a diff.
Skill Claude CodeCodex
Stage 3 of review-pro: dedup, weight, resolve conflicts, calibrate severity, and produce the final verdict + report from specialist findings. Use to merge reviewer results into one review verdict.
Skill Claude CodeCodex
Stage 1 of review-pro: classify changed files, detect relevant specialist reviewers, detect active stacks, scope context per reviewer, and emit a dispatch plan. Use to start a review-pro review, triage a PR/branch, or fan out reviewers.
Skill Claude CodeCodex
One-command AI code review. Runs triage -> relevant specialist reviewers -> synthesis on the current branch and returns the verdict + report. Stack-specific signals are loaded automatically from the repo's .review-pro/ directory. Use to review a branch or PR with review-pro.
Skill Claude CodeCodex
Security audit of changed code: authn/authz bypass, secret/PII leaks, injection, unsafe deserialization, weak crypto, CSRF/SSRF/open redirect, feature-gate leaks. Use for security review, authz check, secret leak, injection or deserialization audit of a diff.
Skill Claude CodeCodex
Intent audit of changed code against the originating issue or spec: requirements missing or partial, requirements implemented wrong, and behaviour nobody asked for. Use to check whether a diff does what was actually requested.
Skill Claude CodeCodex
Test-quality audit of changed tests/code: weak or missing assertions, missing coverage for new behavior/branches/edge cases, flaky patterns, unrealistic test data, testing implementation details, skipped tests. Use for test review, coverage check, flakiness or assertion-quality audit of a diff.
tufantunc/axiom-advanced-math-mcp
Instructions file CodexOpenCode
AGENTS.md instructions for tufantunc/axiom-advanced-math-mcp, covering axiom advanced math mcp — agent instructions, run first, build & run, tests and architecture notes.
tufantunc/axiom-advanced-math-mcp
Skill Claude CodeCodex
Use when a task needs mathematics that must be exact rather than estimated — symbolic integration or differentiation, solving equations, factoring, limits, series, matrix algebra, combinatorics, or checking whether a mathematical claim is actually true. Runs a computer algebra system (Giac/Xcas) locally via a CLI, so…
tufantunc/axiom-advanced-math-mcp
MCP server Claude CodeCodexCursor
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. Runs locally from the axiom-math npm package.