数学推理和证明辅助堆栈：GVR循环，通过定理搜索的引用检查，流式API + web UI。
Vibe Proving Math 是一个为数学领域的学生和研究人员设计的人工智能平台。它将语言模型与定理检索结合起来，为学习、解决问题、证据审查和知识发现提供交互式工作流。支持懒猫 OIDC 登录和账号登录，管理员默认账号密码 admin/12345678
