# Chelis

> Chelis is a typed tensor language. Write Surf (.ch) for readable source and generate the canonical .dp representation for structured tools. Use the compiler to check dimensions, precision, effects and ownership before running a program.

Release used for the standalone examples: 0.19.1. Reef projects select the compiler pinned in their manifest; do not override that pin merely to use a newer default.

## Start here

- [SKILL.md](https://chelis.ch/SKILL.md): the agent skill; how to write, check and fix Chelis code
- [Agents](https://chelis.ch/agents): give an agent the skill and a compiler-checking workflow
- [Compiler access](https://chelis.ch/docs/chelis/agent-workflow/): JSON CLI output and tested MCP connection requirements; read this before configuring a server
- [Beginner lessons](https://chelis.ch/docs/hello-chelis/curriculum/): complete programs, captured results and exercises
- [Tour](https://chelis.ch/tour): the rules the compiler enforces, with captured compiler output
- [Get started](https://chelis.ch/get-started): platforms, chelisup, project setup and a first check
- [Examples](https://chelis.ch/examples): programs grouped by job, with source files and recorded results

## Reference

- [CLI workflow](https://chelis.ch/docs/chelis/cli/)
- [Type system reference](https://chelis.ch/docs/chelis/type-reference/)
- [Effects and handlers](https://chelis.ch/docs/chelis/effects/)
- [Transforms: grad and vmap](https://chelis.ch/docs/chelis/transforms/)
- [Surf syntax reference](https://chelis.ch/docs/chelis/surf-reference/)
- [Runtime and standard library](https://chelis.ch/docs/chelis/stdlib/)
- [Package dependencies](https://chelis.ch/docs/chelis/reef/): install dependencies without checking out each shell
- [Property checking](https://chelis.ch/docs/chelis/proving/): verification methods and their limits

## Blog

- [Blog](https://chelis.ch/blog/): dated posts from the people building Chelis
- [Chelis: a tensor language agents can write and prove](https://chelis.ch/blog/launch/): the launch post

## Shells

- [hello-chelis](https://chelis.ch/docs/hello-chelis/): worked beginner lessons and larger source examples
- [nautilus](https://chelis.ch/docs/nautilus/): numerical methods
- [coral](https://chelis.ch/docs/coral/): dataframes
- [shoals](https://chelis.ch/docs/shoals/): quantitative finance
- [economoist](https://chelis.ch/docs/economoist/): economic models