Code

The lab: files, contracts, checked proofs.

The harness is empty. Ask 𝔛 to write a file.

This is a conversation, not a log. 𝔛 answers here. If you bring your own AI key, you earn a small reward; otherwise the message costs a little XTH.

Open tracks