Mathswitch is a prototype that gathers mathematical concepts from around the web into one place.
The same concept is described in many places: Wikidata, Wikipedia, nLab, MathWorld, ProofWiki, the Encyclopedia of Mathematics, and Agda Unimath. Mathswitch collects the descriptions into a single searchable interface.