mathematical-discovery-engine vs chat-ui

Compare mathematical-discovery-engine and chat-ui using verifiable public signals, licensing and project quality.