stats.radicle.at

utensil.lean-ga

A partial formalization of Geometric Algebra in the Lean formal proof verification system. By utensil.

Browse the code on app.radicle.at
Seeds
8
How many nodes announce this repository to the network.
more

Announcing is a node declaring it will serve the repository. Our seed sees the declaration; what is on that node's disk cannot be verified from here. The median repository is announced by 9 nodes.

Rank by seed count
#9,412
Of 16,803 repositories with a recorded seed count. Seeded by more nodes than 32.4% of them.
Size on radicle.at
716 KiB
What this repository takes up on radicle.at's disk.

Seed count over time

12 seeds, 7 July 2026 to 14 July 202616 seeds, 15 July 2026 to 24 July 202613 seeds, 25 July 2026 to 26 July 202614 seeds, 27 July 202611 seeds, 28 July 2026 to 1 August 202614 seeds, 2 August 2026 to 6 August 202617 seeds, 7 August 20269 seeds, 8 August 2026 to 9 August 202613 seeds, 10 August 20269 seeds, 11 August 202612 seeds, 12 August 2026 to 13 August 20269 seeds, 14 August 2026 to 22 August 20266 seeds, 23 August 2026 to 25 August 202610 seeds, 26 August 2026 to 27 August 20267 seeds, 28 August 20264 seeds, 29 August 202610 seeds, 30 August 20266 seeds, 31 August 202614 seeds, 1 September 2026 to 2 September 202611 seeds, 3 September 2026 to 4 September 20268 seeds, 5 September 202613 seeds, 6 September 2026 to 8 September 202616 seeds, 9 September 202611 seeds, 10 September 2026 to 17 September 20268 seeds, 18 September 2026 to 19 September 202611 seeds, 20 September 20268 seeds, 21 September 2026 to 23 September 2026

The seed count has swung between 4 and 17 over 79 days of recorded history (7 July to 23 September 2026), and stands at 8, near the 12 it opened at. The largest single change was -8 on 8 August 2026, across 26 recorded moves. Only days on which the count moved past the noise floor are recorded.

0over 7 days

11 --> 8 typical seeds

within the noise floor, so not a move · against the week ending 16 September 2026

0over 30 days

9 --> 8 typical seeds

within the noise floor, so not a move · against the week ending 24 August 2026

Chart this against other repositories

About this repository

Repository ID
rad:z2VwRL3XGy9dRBN64wr2BM6Ke7p7V
Delegates
utensildid:key:z6Mkoi6L46Tr54sMQmctod6Q43VjYyLwBh8VwJvftMZwdiHt
First seen
On or before 7 July 2026, when this record begins
Last seen
23 September 2026
Classification
Community. Published by a peer on the Radicle network. This site's own call, kept by hand; the repository says nothing about it.

More by utensil

RepositorySeeds7d
utensil.config140
utensil.dockerfiles140
utensil.native-land140
utensil.formal-land12+6
utensil.slides120

utensil maintains 22 repositories here, including this one. See all of them · Chart these together

Seed it too

Run this in a terminal on a machine with a Radicle node (radicle.dev to install one):

rad seed rad:z2VwRL3XGy9dRBN64wr2BM6Ke7p7V

Seeding replicates the repo, announces it to the network and adds that node to the count above. Tap the command to copy it.

To do the same for every public repository at once, run a permissive seed node: it takes whatever the network offers instead of an allow-list, which is what keeps a repository reachable after its author goes offline. The Radicle seeder guide covers setup, and radicle-seed-prune keeps one from filling its disk: as free space falls it prunes harder, so there is no minimum to start with.