# Najib Idrissi

> Mathematical research and verification

Mathbox workflows for mathematical research, proof review, computation checks, literature verification, and manuscript review.

## Profile stats

- Skills: 10
- Stars: 140
- Best skill: computation-audit

## Links

- HTML page: https://omgskills.com/library/nidrissi/
- GitHub: https://github.com/nidrissi

## Featured skills

- [computation-audit](https://omgskills.com/skills/nidrissi/mathbox/skills/computation-audit/index.md) — Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [literature-check](https://omgskills.com/skills/nidrissi/mathbox/skills/literature-check/index.md) — Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [manuscript-integrate](https://omgskills.com/skills/nidrissi/mathbox/skills/manuscript-integrate/index.md) — Integrate an already validated mathematical result, correction, citation, or response to referee comments into an...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [proof-audit](https://omgskills.com/skills/nidrissi/mathbox/skills/proof-audit/index.md) — Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness.
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [proofread-math](https://omgskills.com/skills/nidrissi/mathbox/skills/proofread-math/index.md) — Conservatively proofread mathematical prose and LaTeX for grammar, typography, syntax, notation consistency,...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [referee](https://omgskills.com/skills/nidrissi/mathbox/skills/referee/index.md) — Referee a whole mathematical manuscript for correctness, edge cases, notation, exposition and claim calibration.
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [research-attempt](https://omgskills.com/skills/nidrissi/mathbox/skills/research-attempt/index.md) — Used to run one bounded, auditable mathematical research route: a proof attempt, reduction, counterexample search, or a...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [research-init](https://omgskills.com/skills/nidrissi/mathbox/skills/research-init/index.md) — Set up, plan a retrofit of, substantially revise, or migrate an AI-assisted mathematical research repository's agent...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [research-retrospective](https://omgskills.com/skills/nidrissi/mathbox/skills/research-retrospective/index.md) — Reconcile a mathematical research repository's current claims, proofs, computations, status, literature dependencies,...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars
- [research-state](https://omgskills.com/skills/nidrissi/mathbox/skills/research-state/index.md) — Read or update a local append-only .mathbox ledger of exact claims, evidence revisions, dependency impact, review...
   - [@nidrissi](https://omgskills.com/library/nidrissi/index.md) · 14 stars

## Others you might like

- [Neon](https://omgskills.com/library/neondatabase/index.md)
- [New Relic](https://omgskills.com/library/newrelic/index.md)
- [ngrok](https://omgskills.com/library/ngrok/index.md)