docs: submit Assura to relevant awesome-lists after launch assets ready

[SebTardif]

Goal

Long-tail discoverability via curated lists.

Acceptance

• Identify 3-5 target lists (e.g. awesome-programming-languages, awesome-formal-verification, awesome-rust, AI/codegen lists)
• Each submission meets list rules (stars/maturity if required, authorship disclosure)
• Only open PRs after: stable docs URL, install works, demo or README visual present
• Track PR links in this issue

Do not

• Submit while homepage/demo/compare assets are still missing
• Spam low-quality lists

Source

OSS advertising research 2026-07-16 (Tier 3 / after hard launch).

[SebTardif]

Status (MPI gate 2026-07-26)

Assets for list submission are ready (docs site, demo GIF, COMPARE, WHAT-WE-PROVE). Hold submissions until hard-launch posts from #1410 are done so list PRs can link a live discussion and avoid premature spam.

No Assura-side code work remaining for this issue beyond the submissions themselves.