Logo
<p align=“center”> <img src=”../../assets/wordmark-lockup-dark.svg” alt=“Lockup on dark” width=“380”> <img src=”../../assets/wordmark-lockup-light.svg” alt=“Lockup on light” width=“380”> </p> The icon mark (assets/icon-mark.svg) is a red circle with a white QED
square (∎, the mark that ends a proof — “demonstrated”), used standalone as the
favicon and app icon at 32/24/16px, and paired with the wordmark in the lockups
above.
Clearspace & minimum size. Keep clearspace equal to the icon’s radius on
every side. Never render the lockup narrower than 120px, or the icon alone
below 16px.
Don’t:
- Recolor the mark
- Stretch or skew the lockup
- Add drop shadows or outlines
- Place it on busy imagery
Color
Typography
- Display — Space Grotesk (weights 500–700): headlines, wordmark, section labels.
- Body — Source Sans 3 (weights 400–700): docs, README prose, UI copy.
- Mono — JetBrains Mono: code, CLI commands, badges, technical labels.
Applications
README header: <p align=“center”><img src=”../../assets/wordmark-banner.svg” alt=“README header” width=“640”></p> Badges uselabelColor=2a1cc8 (electric blue) and color=f9463c (red), flat-square style — see the shields.io URLs in the root README.md.
Social preview (GitHub repo social image, 1280×640):
<p align=“center”><img src=”../../assets/social-preview.svg” alt=“Social preview” width=“640”></p>
Voice
Rigorous, plain, anti-hype. Say what the tool does, not how exciting it is. Quietly confident: no exclamation points, no “revolutionize,” no unearned superlatives. Precise verbs over adjectives — “traces,” “retires,” “verifies,” not “seamlessly” or “powerful.”Assets
All source files live inassets/:
icon-mark.svg— app icon / favicon source (512×512)wordmark-banner.svg— README header (1200×300)docs-hero.svg— docs page hero banner (1600×420)nav-logo-light.svg— compact nav lockup (icon + wordmark) for light nav barsnav-logo-dark.svg— compact nav lockup (icon + wordmark) for dark nav barswordmark-lockup-light.svg— horizontal lockup, transparent, for light surfaceswordmark-lockup-dark.svg— horizontal lockup, transparent, for dark surfacessocial-preview.svg— GitHub social preview (1280×640)