Cursor rule Cursor
APAS accept and // accept hole — add only when user explicitly requests.
10 1mo ago A 478 tokens
original MIT
Cursor rule Cursor
Where agents write status reports when finishing a round.
10 1mo ago A 9 tokens
original MIT
Cursor rule Cursor
Read chapter proof targeting data before planning agent work.
10 1mo ago A 9 tokens
original MIT
Cursor rule Cursor
Same-algorithm implementation files (StEph, MtEph, StPer) must not import specs/lemmas from each other.
10 1mo ago A 315 tokens
original MIT
Cursor rule Cursor
How to implement and test iterators on APAS-VERUS collection modules.
10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
No decorative separator lines or box-drawing characters in code comments.
10 1mo ago A 246 tokens
original MIT
Cursor rule Cursor
Use u64/i64 for element values, reserve usize for indexing only. Stop using the N type alias for arithmetic.
10 1mo ago A 444 tokens
original MIT
Cursor rule Cursor
Leave failed experiments unmodified.
10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
Strategy for verifying Float graph algorithm files using vstdplus/float.rs axioms.
10 1mo ago A 570 tokens
original MIT
in-out-table
10Cursor rule Cursor
Format for auditing code inside vs outside verus! blocks.
10 1mo ago A 476 tokens
original MIT
Cursor rule Cursor
Structure and rules for lib.rs.
10 1mo ago A 811 tokens
original MIT
Cursor rule Cursor
Module header format for source files.
10 1mo ago A 0 tokens
original MIT
Cursor rule Cursor
When the user asks for a "module summary verusification" or "module summary" for a chapter, produce the following table. Run veracity-review-module-fn-impls and veracity-review-proof-holes first to get counts.
10 1mo ago A 531 tokens
original MIT
Cursor rule Cursor
Mt files must be standalone — no imports from St counterparts.
10 1mo ago A 383 tokens
original MIT
Cursor rule Cursor
Multi-struct spec style — separate structs per variant, per-type traits, recursive specs in trait impls, no inherent blocks or free fns.
10 1mo ago A 1,110 tokens
original MIT
Cursor rule Cursor
PartialEq/Eq specification pattern — must be inside verus!, use assume not externalbody.
10 1mo ago A 574 tokens
original MIT
pbogh
17Cursor rule Cursor
APAS-VERUS project goal - prove all algorithms.
10 1mo ago A 249 tokens
original MIT
Cursor rule Cursor
Generate proposed work table from proof holes report.
10 1mo ago A 8 tokens
original MIT
ptt-commands
19Cursor rule Cursor
Commands for building and running Proof Time Tests (PTTs).
10 1mo ago A 258 tokens
original MIT
Cursor rule Cursor
When the user says "review ChapNN" or "review against prose".
10 1mo ago A 2,776 tokens
original MIT
Cursor rule Cursor
RwLockPredicate struct naming — use ModuleInv convention, carry real invariants.
10 1mo ago A 621 tokens
original MIT
Cursor rule Cursor
Role - senior formal proof engineer and algorithms expert.
10 1mo ago A 674 tokens
original MIT
Cursor rule Cursor
Spec function naming conventions.
10 1mo ago A 431 tokens
original MIT
Cursor rule Cursor
Standard section ordering and TOC format for Verus source files.
10 1mo ago A 795 tokens
original MIT