π
computational-research
researchAI-assisted computational research with license-aware MCP-first Wolfram execution, wiki knowledge base, LaTeX/Typst paper scaffolding, Wolfram paclet development, symbol-page documentation bundled and publicly deployed on publish, dual-engine Markdown-to-notebook conversion that auto-detects a pinned rich converter for frontmatter/LaTeX-math sources, notebook generation including research notebooks written as ordinary mathematics papers under a writing guide shared with the LaTeX/Typst scaffolder (the body carries only settled statements, proved in full or cited to a source that was read; experiments gathered near the end rather than in the development and everything below the settled tier handed to the journal so nothing is dropped; complete gap-free prose proofs, never abbreviated to fit and never shattered into tiny lemmas; one example per result answering with a geometry illustration or one small algebraic value, its code folded and its bare graphic not; explicit length budgets; each result stated at the generality its proof actually reaches rather than hedged wider, statements naming their own hypotheses so they lift out intact, and conjectures saying what would settle them; the model as sole author, the footnote naming the operator, summarising the instructions and disclosing in bold how much freedom the model had β Directed, Guided or Open exploration; statements, equations and sections numbered by the front end and cited by tag, so no number is ever typed into the source) built by the rich converter plus MathNotebook post-processing on the structure-only PlainArticle stylesheet that keeps Default typography (numbered environments converted through folded cell groups, citations, one-way generation with fingerprint-based drift detection), guided tours, Wolfram ecosystem search, pure-math project scaffolding with MathWorld/nLab/OEIS/DLMF/Wikipedia search, BibTeX from arXiv/DOI, Lean/Mathlib formalization bridge, multi-session work tracking on a measured item format (spec/tasks/hand-off/decisions, one-line-per-session progress, one-fact-one-destination) with an opt-in autonomous driver that works items unattended one cold headless session per task, verifying each run, allowlisting the Wolfram MCP by default, and landing work on a review branch, Conventional-Commits enforcement via scaffolded git hooks, optional prompt-provenance tracking for generated artifacts, an optional cited scientific journal (def/thm/rem) in LaTeX/Typst, a per-project one-sentence-per-line source-formatting toggle, and revision workflow.