formal verification cursor rules

8 tagged formal verification, measured the same way as everything else here.

Browse within: algebraic-effects 8compiler 8egraph 8non-associative-algebra 8octonions 8

offload-policy

01

Sounio-lang/sounio

Cursor rule Cursor

Mandatory LLM-offload review checkpoints for math, clinical, and paper artifacts.

5 yesterday A 739 tokens original Apache-2.0

patterns

02

Sounio-lang/sounio

Cursor rule Cursor

Copy-paste Sounio patterns from verified tests.

5 yesterday A 0 tokens original Apache-2.0

cursorrules

03

Sounio-lang/sounio

Cursor rule Cursor

Sounio (.sio) is a systems + scientific programming language. It is NOT Rust. Full syntax reference: docs/LLMPROGRAMMINGGUIDE.md.

5 yesterday A 1,307 tokens original Apache-2.0