Scorpioyyy/verichalk

VeriChalk：面向小学数学教师的可验证命题 Agent——基于 ChalkBase 课程知识库，题目经求解程序、…