On this page
The question What is known so far Why it matters Directions to work on Use CLIO Coder on it today First experiment How to joinWhat evidence would convince a domain scientist that a change made by an agent is correct? Scientific code has checks most software lacks, such as conservation laws, reference solutions, and published results.
It also has its own hazards, including schedulers, shared allocations, and results that look plausible while being wrong. CLIO Coder has shipped tools for this work. Nobody has yet studied how far they go.
The question
- Trust. What must an agent produce so that a domain expert accepts a numerical change, and does an external reference or a pre-registered check actually catch wrong results?
- Modernization. Can an agent port or rewrite established scientific software in stages, with each stage independently validated, at acceptable cost?
- Cluster work. Can an agent use a scheduler responsibly, and what does it waste when it does not?
What is known so far
These are facts about what ships at this version. They are not study results.
The library has research skills. experiment-protocol pre-registers a performance study, numerical comparison, sweep, or benchmark, locking thresholds, tolerances, environment pins, and verdict conditions before any measurement. scientific-modernization ports or rewrites scientific software in independently validated stages against an external scientific oracle.
scientific-debugging, slurm-jobs, and arxiv-literature are also there, and the materio plugin supports materials-science research.
For clusters, CLIO Coder installs without root on a login node. The agent can run sbatch, squeue and the other Slurm, PBS, LSF and Flux clients itself. They run outside the shell sandbox, and at the default autonomy level the safety judge reviews each one first and asks you when it has no verdict.
The clio-kit MCP server is another route to Slurm. CLIO Coder does not submit its own workers through a scheduler.
Results can live outside the repository in the project store, under named tags. Each stored file keeps a write-once record of where it came from and its hash, and a result written by a run_script step also names the script and its inputs. clio-coder store verify reports any file whose bytes have changed since.
A research campaign can optimize one run of a parameter sweep, or gate every candidate on each run of it. A campaign that was stopped or ran out of wall time picks up with research resume, within the budget it started with.
The one worked example is a temperature-calibration change, recorded from a real session with seven tests. It is a demonstration on a small task. No study covers real solvers, a domain expert's judgment, or how often an oracle catches an agent's error.
Why it matters
A wrong numerical result can look fine and travel into a paper. If agents are going to touch scientific code, the field needs methods that make their errors visible, and evidence about which methods work. Some research groups also hold old codes that few people can maintain, so careful, validated modernization could be valuable if it can be trusted.
Directions to work on
Test the oracle. Inject known errors into a scientific kernel and find out how often a pre-registered check catches them, and how often an agent talks its way around one.
Run a real modernization. Take a small code with reference output through scientific-modernization, and report stages, costs, failures, and what the maintainer thought of the result.
Measure scheduler behavior. Using a small allocation, record what an agent submits, how often it resubmits, and how much of the allocation produces useful output.
Study expert acceptance. Show domain scientists an agent's change with and without its evidence, and ask what they would accept and why.
Use CLIO Coder on it today
Install a research skill
Shell
clio-coder library install skill:experiment-protocol --project --dry-run clio-coder library install skill:experiment-protocol --projectThen call it in a session:
/skill experiment-protocol Compare my solver against the reference output. Define the tolerances before running anything.Add Slurm when you need it
Install clio-kit on a host where
sbatchreaches your cluster, declare its server inmcp.yaml, and install the skill. The Slurm guide gives the exact file.Shell
clio-coder library install skill:slurm-jobs --projectThe pre-registration tutorial and the Slurm tutorial walk through both.
Keep results out of the tree
Shell
clio-coder store put results run-042.csv --note "baseline, 64 ranks" clio-coder store verify resultsverifyexits 1 when a stored result has changed or gone missing, so a job script can stop on it.Keep the record
Headless runs and dispatched workers are sealed, so a study can cite and share them. Can an agent run be a scientific record? covers what that does and does not show.
First experiment
Can a pre-registered check catch an agent's numerical error?
Choose a kernel
Pick a small numerical routine with reference output you trust, from your field if possible. Put it in a repository with its reference data.
Pre-register
Use
experiment-protocolto lock the tolerances and verdict conditions, and commit them before any change is made.Ask for a port
Ask the agent to port or refactor the kernel, and run the check. Record the verdict, the cost, and whether the agent edited anything it should not have.
Inject an error
Separately, introduce a subtle error, such as a changed constant or a lost precision step, then ask the agent to review the code and run the check. Record whether it was caught, and by what.
Report it
Open a GitHub issue with the kernel, the tolerances, the verdicts, and what a person in the field made of the result.
Needs: a laptop and any chat route for everything above. A local model server avoids sending code to a provider. A cluster account is needed only for scheduler work.
How to join
Open a GitHub issue on the repository saying what you want to try, before or after you run it, and read the contributor guide for code changes. Negative results and replications are welcome.
Boundaries
- A passing check shows only what that check tests. Choose it with someone who knows the science.
- Your site's access rules, allocation limits, and data policies apply to anything an agent does there.
- Do not publish data or code you may not share.
- The project store keeps no earlier versions of a file and has been exercised on Linux only.