Agent skills for Codex CLI

Deterministic mathematical computation using SymPy.

Unified math capabilities - computation, solving, and explanation.

Mathematical visualization skill for equations, proofs, and geometric concepts. **Triggers when:** - User mentions equations, formulas, or…

Audit a completed mathematical manuscript before submission for claim discipline, proof readiness, reproducibility, anonymization, and…

Strictly review an existing mathematical theorem and proof when the user asks whether it is valid, complete, or rigorous; identify gaps…

Constructs rigorous candidate proof and solution frameworks for mathematical research problems using literature analysis reports.

GitHub CLI operations via `gh` for issues, PRs, Actions, releases, and REST/GraphQL API with `--json`/`--jq` parsing.

Pre-publication manuscript audit producing a section-level refactoring report with citation hygiene and submission-readiness checks.

Diff-based PR review across code quality, test coverage, silent failures, type design, and comment quality with severity-ranked findings.

Use this skill in the MathModel LaTeX sandbox when the user asks to reproduce built-in scientific visualization templates, especially…

MATLAB and GNU Octave numerical computing for matrix operations, data analysis, visualization, and scientific computing.

When to activate: accessibility, ARIA, WCAG, screen reader, keyboard navigation, focus management, a11y audit

When to activate: brand voice, tone of voice, messaging framework, brand personality, voice guidelines, consistent messaging, brand copy…

When to activate: CI/CD, pipeline, continuous integration, continuous deployment, blue-green, canary, rolling deployment, staging, release

When to activate: content calendar, content strategy, editorial planning, content repurposing, content briefs, distribution strategy…

When to activate: Flyway, Liquibase, Alembic, migrations, schema changes, zero-downtime migration, rollback, database versioning

When to activate: Elasticsearch, ES, OpenSearch, full-text search, mappings, analyzers, aggregations, Kibana

When to activate: FastAPI, Pydantic v2, dependency injection, async endpoints, middleware, background tasks, OpenAPI

When to activate: GCP, Google Cloud, GKE, Cloud Run, Cloud Functions, Cloud SQL, GCS, Artifact Registry, IAM, Pub/Sub, BigQuery

When to activate: JPA, Hibernate, entity, relationship, JPQL, Criteria API, N+1 problem, caching, transaction, fetch type, lazy loading

When to activate: Kotlin testing, JUnit 5, Kotest, MockK, Testcontainers, coroutine testing, Spring test slices, runTest