Univalent Agda
CommunityMember Verification Gate EnabledNewsAuto Moderationcreated Mar 17, 2022id 954089080197611551
874
members
157
online now
18.0%
active ratio
74
legitimacy score
High
verification gate
1d ago
last measured
How the legitimacy score of 74 is calculated
Activity +35 18.0% onlineVerified / partner +0 noAge +12 4.6 yrSize +12 874 membersCommunity status +5 communityTrack record +11 measured 48 day(s) over 73d
📈 Measured live across 48 days (73d tracked, 49 snapshots). 🔗 Linked 5 times across the web.
Bigger than 63% of Tech Programming servers (17,829 measured)
Member history
Measured 76 times; its member count changed 25 times.
Invites seen
| Code | Type | Status | Last live |
|---|---|---|---|
| discord.gg/eQDNM26uKP | invite | live | 1d ago |
| discord.gg/Zp2e8hYsuX | invite | live | 72d 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,562 |
 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.