Univalent Agda
NewsAuto ModerationMember Verification Gate EnabledCommunitycreated Mar 17, 2022id 954089080197611551
863
members
173
online now
20.0%
active ratio
75
legitimacy score
High
verification gate
8h ago
last measured
How the legitimacy score of 75 is calculated
Activity +35 20.0% onlineVerified / partner +0 noAge +12 4.6 yrSize +12 863 membersCommunity status +5 communityTrack record +12 measured 59 day(s) over 90d
📈 Measured live across 59 days (90d tracked, 60 snapshots). 🔗 Linked 5 times across the web.
Bigger than 63% of Tech Programming servers (17,787 measured)
Member history
Measured 98 times; its member count changed 31 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/eQDNM26uKP | invite | live | 8h ago |
| discord.gg/Zp2e8hYsuX | invite | live | 89d 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,538 |
 1Lab Discussion | 156 |
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.