Agent skills for Microsoft Copilot

Create and manage materialized views using DataFusion.

Implements mathematical models into reproducible Python code, validates constraints against baselines, and generates publication-ready…

Analyzes mathematical modeling competition problems, resolves ambiguities, evaluates candidate models against baselines, and enforces…

Automates the end-to-end mathematical modeling workflow from problem interpretation and Python data analysis to LaTeX paper generation and…

Compiles and formats academic papers for mathematical modeling competitions using Typst and LaTeX engines with standardized competition…

Launch one solver workflow per problem (same VERBATIM prompt, different statement).

Interface with Mathematica/Wolfram Language for advanced symbolic computation

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

Conducts deep academic literature reviews for open mathematical problems and conjectures, compiling structured progress reports.

Generates Architecture Decision Records capturing context, rationale, alternatives, and consequences in numbered status-tracked format.

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.

A cyber-slick, dark-only Matrix-inspired interface defined by minimalist fashion, high-tech digital elements

When to activate: AWS, EC2, ECS, EKS, Lambda, RDS, S3, CloudFront, IAM, VPC, ALB, CloudWatch, CDK, CloudFormation

When to activate: C++ testing, Google Test, GTest, GMock, Catch2, doctest, fixtures, parameterized tests, benchmarks, mocking

When to activate: change management, organizational change, ADKAR, Kotter 8-step, resistance to change, change communication, adoption…

When to activate: CRO, conversion rate optimization, landing page optimization, heatmaps, session recordings, form optimization, trust…

When to activate: crisis communication, crisis management, media statement, crisis response, spokesperson, dark site, crisis PR, crisis plan