test27818/rikkahub-math-plus

RikkaHub AI 聊天客户端二改版，新增 TikZ 自动渲染与 ai4math-lean 数学形式化技能。

RikkaHub 二改增强版：TikZ 图表自动渲染（pdflatex 工作区管线）+ai4math-lean数学形式化技能。基于上游 2.4.3。