Cursor rule Cursor
APAS accept and // accept hole — add only when user explicitly requests.
not rated 10 23d ago A 478 tokens
original MIT
10Stars on the repository
108Mods indexed here, across every type
23d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Cursor rule Cursor
Where agents write status reports when finishing a round.
not rated 10 23d ago A 9 tokens
original MIT
Cursor rule Cursor
Read chapter proof targeting data before planning agent work.
not rated 10 23d ago A 9 tokens
original MIT
Cursor rule Cursor
Same-algorithm implementation files (StEph, MtEph, StPer) must not import specs/lemmas from each other.
not rated 10 23d ago A 315 tokens
original MIT
Cursor rule Cursor
How to implement and test iterators on APAS-VERUS collection modules.
not rated 10
changed 27d ago A 0 tokens
original MIT
Cursor rule Cursor
No decorative separator lines or box-drawing characters in code comments.
not rated 10 23d 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.
not rated 10 23d ago A 444 tokens
original MIT
Cursor rule Cursor
Leave failed experiments unmodified.
not rated 10 23d ago A 0 tokens
original MIT
Cursor rule Cursor
Strategy for verifying Float graph algorithm files using vstdplus/float.rs axioms.
not rated 10 23d ago A 570 tokens
original MIT
in-out-table
10Cursor rule Cursor
Format for auditing code inside vs outside verus! blocks.
not rated 10 23d ago A 476 tokens
original MIT
Cursor rule Cursor
Structure and rules for lib.rs.
not rated 10 23d ago A 811 tokens
original MIT
Cursor rule Cursor
Module header format for source files.
not rated 10 23d 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.
not rated 10 23d ago A 531 tokens
original MIT
Cursor rule Cursor
Mt files must be standalone — no imports from St counterparts.
not rated 10 23d 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.
not rated 10 23d ago A 1,110 tokens
original MIT
Cursor rule Cursor
PartialEq/Eq specification pattern — must be inside verus!, use assume not externalbody.
not rated 10 23d ago A 574 tokens
original MIT
pbogh
17Cursor rule Cursor
APAS-VERUS project goal - prove all algorithms.
not rated 10 23d ago A 249 tokens
original MIT
Cursor rule Cursor
Generate proposed work table from proof holes report.
not rated 10 23d ago A 8 tokens
original MIT
ptt-commands
19Cursor rule Cursor
Commands for building and running Proof Time Tests (PTTs).
not rated 10 23d ago A 258 tokens
original MIT
Cursor rule Cursor
When the user says "review ChapNN" or "review against prose".
not rated 10 23d ago A 2,776 tokens
original MIT
Cursor rule Cursor
RwLockPredicate struct naming — use ModuleInv convention, carry real invariants.
not rated 10 23d ago A 621 tokens
original MIT
Cursor rule Cursor
Role - senior formal proof engineer and algorithms expert.
not rated 10 23d ago A 674 tokens
original MIT
Cursor rule Cursor
Spec function naming conventions.
not rated 10 23d ago A 431 tokens
original MIT
Cursor rule Cursor
Standard section ordering and TOC format for Verus source files.
not rated 10 23d ago A 795 tokens
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: