a16z/halmos

crypto-web3 Watched since 2026-08-04 View on GitHub

Downloads, weekly 3,479

Advisories, all time 0

Licence AGPL-3.0

Forks 111

Stars 1028

Open issues 79

Latest release v0.3.3

Last push 2025-08-06

Baseline 0.1/day 27 days of history

Forks added per day — 28 daily samples, peak 1

2026-08-05 dashed = 0.1/day trailing mean 2026-09-01

Timeline — 0 recorded signals, newest first

No signals recorded Nothing has crossed the reporting bar for this repository since it was added on 2026-08-04. It is checked every 4 hours along with the rest of the watchlist.

Put this in your README

The figure updates on its own. It is read every four hours and served as a static file, so nothing calls back to you and there is nothing to install.

[![Sighttrue](https://sighttrue.com/badge/a16z/halmos.svg)](https://sighttrue.com/repo/a16z/halmos)

Follow this repository by feed