No logos. Here are the numbers instead.
There are no customer logos on this page because there are no customers, and a wall of borrowed marks would be the first fabricated thing on this site. What exists is distribution: 5,114 lifetime installs against 5 GitHub stars — and the gap between those two numbers is the most informative thing here, so it is explained rather than hidden.
All figures measured on from pypistats.org and the GitHub API. Maintained by hand and dated, because this build runs offline and cannot re-measure them.
Distribution, with every qualifier attached
Each number carries what it counts and what it does not, in the same breath. A download count quoted without its mirror share is a number chosen to flatter.
- PyPI downloads, lifetime
- 5,114Excluding mirrors. Including them the figure is 17,502 — the gap is infrastructure, not people.Source: pypistats.org · measured 23 August 2026
- PyPI downloads, last 30 days
- 2,494Excluding mirrors. Most of this is automated: CI runners and dependency resolvers reinstall on every job.Source: pypistats.org · measured 23 August 2026
- GitHub stars
- 5Five. A star is the cheapest possible signal of human interest, and there are five of them.Source: github.com/provael/provael — stargazers · measured 23 August 2026
- GitHub forks
- 0Nobody has forked the repository. A fork is roughly the cheapest signal that someone intends to change or extend the tool.Source: github.com/provael/provael — forks · measured 23 August 2026
- Third-party reproductions
- 0Nobody outside the project has reproduced a published result. The register is at /verification and it is empty.Source: The register at /verification · measured 23 August 2026
1,023 installs per star
5,114 downloads against 5 stars is roughly 1023 installs per star. That ratio is not a success metric; it is a diagnosis.
A healthy developer tool sits nearer 10:1 or 50:1, because the humans who install it also bookmark it. 1023:1 says the installs are overwhelmingly automated — CI runners, dependency resolvers and mirrors re-fetching the package — and that the human network around the project is close to empty.
71% of all-time downloads are mirror traffic, which points the same way.
That is the honest reading. It is published because a project whose entire argument is that its numbers are checkable does not get to quote the flattering half of its own distribution data.
| Signal | Count | What it takes from a human |
|---|---|---|
| Installs, all time (no mirrors) | 5,114 | Often nothing — a CI job or resolver can produce these unattended. |
| Installs, all time (incl. mirrors) | 17,502 | Nothing. 71% of this is infrastructure copying the package. |
| Installs, last 30 days | 2,494 | Same caveat as the lifetime figures above: mostly automated, over a shorter window. |
| GitHub stars | 5 | One deliberate click by one person. The cheapest human signal there is. |
| Published third-party reproductions | 0 | Hours of someone else's compute and attention. The most expensive signal, and the one that would count most. |
CI-gate installs, and why there is no number
The published GitHub Action is the most interesting adoption signal this project could have — it means someone wired a red-team gate into a pipeline and left it there. There is no count for it on this page because there is no honest way to measure it: GitHub publishes no per-repository usage figures for an Action, and the tool has no telemetry by design, which is the same property that makes the architecture claim on /trust true.
A number could be estimated from download patterns. It is not, because an estimate presented beside measured figures reads as measured, and this page has no way to mark that difference strongly enough to be safe.
The number that matters is the one at zero
Installs are the cheap signal. The expensive one — an independent party reproducing a published result and publishing what they got — sits at 0. The commands, the pinned commit and the register are at /verification, and a result that contradicts ours is as welcome as one that confirms it. If you would rather measure your own policy than reproduce ours, /submit is the four-step path onto the board.
Nothing on this page is a customer reference, a testimonial or an endorsement. Provael has zero published case studies (stated on /case-studies too) and zero independent verifications. These are distribution figures for an open-source package and nothing more.