cuni_bank
CuNi Bank: paste N, get X. Ingest → emit → prove, or refuse. v1 from Python. Args: source, from (py|cuni), to (catalog id, e.g. js). POSTs to cuni-studio /api/bank.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| to | Yes | catalog id: py, go, js, ts, … | |
| from | No | py | cuni | |
| source | Yes | Source program (Python v1 subset or .cuni) |