Univalent Agda
Member Verification Gate EnabledAuto ModerationCommunityNewscreated Mar 17, 2022id 954089080197611551
873
members
164
online now
18.8%
active ratio
69
legitimacy score
High
verification gate
5h ago
last measured
How the legitimacy score of 69 is calculated
Activity +35 18.8% onlineVerified / partner +0 noAge +11 4.5 yrSize +12 873 membersCommunity status +5 communityTrack record +6 measured 19 day(s) over 24d
📈 Measured live across 19 days (24d tracked, 20 snapshots). 🔗 Linked 5 times across the web.
Member history
Measured 24 times; its member count changed 11 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/eQDNM26uKP | invite | live | 5h ago |
| discord.gg/Zp2e8hYsuX | invite | live | 25d 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,566 |
 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.