Univalent Agda
Member Verification Gate EnabledCommunityNewsAuto Moderationcreated Mar 17, 2022id 954089080197611551
874
members
141
online now
16.1%
active ratio
71
legitimacy score
High
verification gate
18h ago
last measured
How the legitimacy score of 71 is calculated
Activity +35 16.1% onlineVerified / partner +0 noAge +11 4.5 yrSize +12 874 membersCommunity status +5 communityTrack record +8 measured 31 day(s) over 46d
📈 Measured live across 31 days (46d tracked, 32 snapshots). 🔗 Linked 5 times across the web.
Member history
Measured 42 times; its member count changed 16 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/eQDNM26uKP | invite | live | 18h ago |
| discord.gg/Zp2e8hYsuX | invite | live | 45d 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.