Skip to main content

Modules

Pick what you’re making and Sundial sets it up: a paper in the right format, a way to search the literature, a checker that reads your claims. Click Use and a workspace opens with it inside. Take it out when you’re done.

Checks your work

Checks your work as you write: a proof, a claim, a compile. It says only what it checked.

Verifier

Claim Verifier

  • Review a claim and its citations without reducing evidence to a truth badge: source identity and status, exact claim support, citation coverage, and consistency with the wider record.
research · academic writing · journalism · 1 skills
Verifier

Lean Blueprint

  • A paper and its Lean 4 formalization kept in step. Every theorem links to a Lean declaration, the agent proves against the real compiler, and a status table shows exactly what is verified.
math · 1 skills
Verifier

Out of date?

  • Checks your writing against the other files in this folder. When a newer file says something different, a card beside the sentence names both files and their dates. Never uses the web.
research · academic writing · 1 skills

Start here

Pick by what you want to do

Template

Write a paper for ICML 2026

  • Official style, compiled on open
  • Anonymous for review
  • Sunny knows the page limit
ICML 2026
Verifier

Keep your paper and its Lean proof in step

  • main.tex and Formalization.lean side by side
  • Formalize any selected statement
  • Lean 4 and Mathlib ready
Lean Blueprint
Verifier

Check every claim and citation in a draft

  • Select a claim, click Is it true?
  • Source identity, support, coverage
  • Findings land as comments
Claim Verifier
Assistant

Search nine million theorems and cite what you find

  • Select a statement, ask where it was proved
  • TheoremSearch, zbMATH, arXiv
  • Every claim gets a citation
Math Research
Assistant

Work on one goal around the clock

  • Each turn in a fresh chat
  • Hands off to a successor
  • You set the ground truth
Goal loop
Skill

Fold proteins and query single-cell atlases

  • Paperclip, CELLxGENE, Proto, Boltz
  • Runs in the sandbox
  • Built for re:AGENT
re:AGENT - End to End Agentic Science (hackathon)

Most used

Template

ICML 2026

  • ICML 2026 paper on the official icml2026 style, anonymous for review, with the accepted option for camera-ready.
Template

ICLR 2026

  • ICLR 2026 paper on the official conference style, anonymous until you uncomment the final-copy line for camera-ready.
Template

Journal of Machine Learning Research (JMLR)

  • JMLR paper on the journal's open jmlr2e style, the same style some ML workshops reuse informally.
Template

NeurIPS 2025

  • NeurIPS paper on the 2025 style (2026 files not yet posted), anonymous for review, with the final option for camera-ready.
Skill

re:AGENT - End to End Agentic Science (hackathon)

  • Skills and tools for the re:AGENT hackathon: Paperclip full-text literature, CZ CELLxGENE Census single-cell data, Proto's 140+ computational-biology tools, and Boltz-2 structure prediction.
5 skills
Template

ACL 2026

  • ACL 2026 paper on the ACL Rolling Review style in review mode, with the final switch for camera-ready; preprints may stay non-anonymous.

Assistants

Something Sunny does on its own: when you select text, or on a schedule.

Assistant

Goal loop

  • A workspace that works on one goal continuously. Each turn runs in a fresh chat, does one task, logs what it verified, and hands off to a successor. You set the goal and the ground truth.
Assistant

Math Research

  • A mathematics literature workspace. Search 9M+ theorem statements, pull citations and BibTeX from zbMATH Open, fetch full text from arXiv, no API keys. Every claim in main.tex gets a citation.
math · 4 skills
Assistant

WikiSkill loop

  • Watch an agent teach itself. The WikiSkill loop (Google Research) starts from a blank slate on a real spreadsheet task: fail, write a note, have a checker verify it, then sit an exam on a new sheet.

Skills

Something Sunny knows how to do when you ask, like searching the literature.

Skill

re:AGENT - End to End Agentic Science (hackathon)

  • Skills and tools for the re:AGENT hackathon: Paperclip full-text literature, CZ CELLxGENE Census single-cell data, Proto's 140+ computational-biology tools, and Boltz-2 structure prediction.
5 skills
Skill

Citations

  • Keeps your sources in one tidy list. Paste a link, a DOI or a paper title and Sunny adds the entry from the real record, fixes broken ones and merges repeats.
research · writing · 1 skills

For math

Template

IMS Journals (imsart)

  • Institute of Mathematical Statistics manuscript for the Annals of Statistics, Annals of Probability, Bernoulli, Statistical Science and the other IMS journals. One class option picks the journal.
math · statistics
Template

Annals of Mathematics (aomart)

  • Official class for the Annals of Mathematics, maintained for the journal on CTAN. Builds on amsart with the Annals front matter, MSC subjects and the aomplain bibliography style.
math
Template

Electronic Journal of Combinatorics (e-jc)

  • Electronic Journal of Combinatorics paper on the official e-jc style, with the journal's theorem environments, MSC line and dateline in place.
math
Template

Mathematics Preprint (amsart + arXiv)

  • Journal-neutral math manuscript on amsart with hyperref, cleveref, mathtools and a full theorem setup. Compiles cleanly on arXiv and passes as a first submission at most math journals.
math
Template

Oxford University Press Journals (oup-authoring-template)

  • OUP journal manuscript on the general Oxford class, used by IMRN, Quarterly J. of Math., J. of the LMS, Biometrika, JRSS and other Oxford journals. Pick the layout pair your journal lists.
math · cs · statistics
Template

ClassicThesis

  • Andre Miede's ClassicThesis, a restrained Bringhurst-inspired typographic thesis style on KOMA-Script scrreprt, via the classicthesis package from TeX Live.
thesis · writing · cs

For computer science

Template

Quantum Journal (quantumarticle)

  • Official quantumarticle class for Quantum, the open-access journal for quantum science, quantum information and quantum computing. Two-column by default, with arXiv-compatibility checks built in.
physics · cs
Template

ACM Transactions on Graphics (acmart, acmtog)

  • ACM Transactions on Graphics manuscript in acmart acmtog format, also the SIGGRAPH journal track, with a teaser figure, CCS concepts and the ACM reference format in place.
cs
Template

Logical Methods in Computer Science (lmcs)

  • Logical Methods in Computer Science paper on the official lmcs class, built on amsart with the journal's theorem environments preloaded.
cs
Template

Oxford University Press Journals (oup-authoring-template)

  • OUP journal manuscript on the general Oxford class, used by IMRN, Quarterly J. of Math., J. of the LMS, Biometrika, JRSS and other Oxford journals. Pick the layout pair your journal lists.
math · cs · statistics
Template

Transactions on Machine Learning Research (TMLR)

  • Official tmlr style for TMLR, the open journal on OpenReview run by the JMLR board. Same author-block idiom as JMLR and ICLR; anonymous by default, with accepted and preprint switches.
cs · ml
Template

ACM CCS 2026

  • ACM CCS 2026 paper in acmart sigconf format with anonymous review mode on and the camera-ready options ready to flip.
cs · security

For physics

Template

Quantum Journal (quantumarticle)

  • Official quantumarticle class for Quantum, the open-access journal for quantum science, quantum information and quantum computing. Two-column by default, with arXiv-compatibility checks built in.
physics · cs
Template

AIP Journals (JAP / APL / JCP)

  • REVTeX 4.2 in AIP mode for American Institute of Physics journals such as Journal of Applied Physics, Applied Physics Letters, and The Journal of Chemical Physics.
physics
Template

JHEP / JCAP

  • Official jheppub package from SISSA Medialab for the Journal of High Energy Physics and JCAP, article class plus the JHEP bibliography style.
physics
Template

Lab Report

  • Physics or chemistry lab write-up on the article class with siunitx units, a booktabs data table, and a pgfplots fit figure.
physics · teaching
Template

MIT Thesis

  • MIT thesis following the MIT Libraries specifications, driven by the mitthesis class from TeX Live.
thesis · physics · engineering
Template

Optica (OSA) Journals

  • Universal optica-article class for Optica Publishing Group (formerly OSA) journals such as Optica, Optics Express, Optics Letters, Applied Optics, and JOSA A/B.
physics · engineering

For biology and medicine

Template

ACS Journals (achemso)

  • The achemso class for American Chemical Society journals such as JACS, Journal of Organic Chemistry, and ACS Nano, shipped with TeX Live.
chemistry
Template

bioRxiv Preprint

  • HenriquesLab two-column bioRxiv preprint class, a popular community template for life-science preprints on bioRxiv.
biology · medicine
Template

BMC (BioMed Central)

  • Official bmcart class for BioMed Central journals such as BMC Biology, BMC Bioinformatics, and Genome Biology, with the bmc-mathphys bibliography style.
biology · medicine
Template

Elsevier CAS

  • Elsevier's CAS (Complex Article Structures) cas-dc class, the current els-cas-templates generation used by Elsevier journals on the CAS workflow.
cs · engineering · biology
Template

Frontiers Journals

  • Official FrontiersinHarvard class for Frontiers journals such as Frontiers in Neuroscience, Immunology, and Psychology, using the Harvard author-date reference style.
biology · medicine · neuroscience
Template

MICCAI 2026

  • MICCAI 2026 paper on Springer's llncs class with running heads, anonymous for review.
cs · medical

For writing and publishing

Template

arXiv Preprint

  • Single-column preprint in the widely used arxiv.sty look, article class with a clean title block and natbib references.
writing · publishing
Template

Book (memoir)

  • Book scaffold on the memoir class with half title, title page, chapter style, and an epigraph-opened first chapter.
writing · publishing
Skill

Citations

  • Keeps your sources in one tidy list. Paste a link, a DOI or a paper title and Sunny adds the entry from the real record, fixes broken ones and merges repeats.
research · writing · 1 skills
Template

ClassicThesis

  • Andre Miede's ClassicThesis, a restrained Bringhurst-inspired typographic thesis style on KOMA-Script scrreprt, via the classicthesis package from TeX Live.
thesis · writing · cs
Template

Clean Thesis

  • Ricardo Langner's Clean Thesis, a clean, simple, elegant thesis design on KOMA-Script scrreprt, via the cleanthesis package from TeX Live.
thesis · cs · writing
Template

Dissertate (Harvard)

  • Jordan Suchow's Dissertate template, a typographically polished dissertation set in EB Garamond, driven by the vendored Dissertate class on xelatex.
thesis · writing · psychology

Verifier

Checks your work as you write: a proof, a claim, a compile. It says only what it checked.

Template

Files to start from: a paper in the right format, a thesis, a talk.

Skill

Something Sunny knows how to do when you ask, like searching the literature.

Assistant

Something Sunny does on its own: when you select text, or on a schedule.

All three are the same thing underneath: a folder you add to a workspace, take out, or edit. How modules work →