Najib Idrissi
Mathematical research and verification
Mathbox workflows for mathematical research, proof review, computation checks, literature verification, and manuscript review.
Featured skills
computation-audit
Design, run, or audit a mathematical computation supporting a research claim when correctness, provenance, tested...
literature-check
Verify what an external mathematical source proves: exact theorem, hypotheses and version, citation, notation...
manuscript-integrate
Integrate an already validated mathematical result, correction, citation, or response to referee comments into an...
proof-audit
Adversarially audit an existing mathematical claim, proof, derivation, diagram, or theorem dependency for correctness.
proofread-math
Conservatively proofread mathematical prose and LaTeX for grammar, typography, syntax, notation consistency,...
referee
Referee a whole mathematical manuscript for correctness, edge cases, notation, exposition and claim calibration.
research-attempt
Used to run one bounded, auditable mathematical research route: a proof attempt, reduction, counterexample search, or a...
research-init
Set up, plan a retrofit of, substantially revise, or migrate an AI-assisted mathematical research repository's agent...
research-retrospective
Reconcile a mathematical research repository's current claims, proofs, computations, status, literature dependencies,...
research-state
Read or update a local append-only .mathbox ledger of exact claims, evidence revisions, dependency impact, review...
Neon
Neon Postgres development
Skills for Neon Postgres setup, application integration, database operations, and related developer tools.
New Relic
Application performance investigation
Skills for investigating application errors, latency, throughput, and transactions with New Relic.
ngrok
Secure tunnels and access
Skills for exposing local services, configuring ngrok, and managing endpoint access.