Univalent Agda
Auto ModerationNewsCommunityMember Verification Gate Enabledcreated Mar 17, 2022id 954089080197611551
874
members
178
online now
20.4%
active ratio
73
legitimacy score
High
verification gate
4h ago
last measured
How the legitimacy score of 73 is calculated
Activity +35 20.4% onlineVerified / partner +0 noAge +11 4.6 yrSize +12 874 membersCommunity status +5 communityTrack record +10 measured 44 day(s) over 66d
📈 Measured live across 44 days (66d tracked, 45 snapshots). 🔗 Linked 5 times across the web.
Bigger than 63% of Tech Programming servers (17,708 measured)
Member history
Measured 69 times; its member count changed 25 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/eQDNM26uKP | invite | live | 4h ago |
| discord.gg/Zp2e8hYsuX | invite | live | 66d ago |
Same-operator servers
Other servers whose invites were created by the same account — often one operator or a network.
 HoTTEST Summer School 2022 | 1,560 |
 1Lab Discussion | 157 |
Embed & API. 
<img src="https://guildregister.com/badge/954089080197611551.svg"> · JSON · Own this server? Claim itFirst seen Aug 10, 2026. Member and online counts are Discord's own approximate counts, measured from the public invite API. GuildRegister is not affiliated with Discord.