reasoning-dataset-lab:面向推理数据集构建的先证明答案键,再由模型措辞
mcp-tool-shop-org/reasoning-dataset-lab · A map-first lab for datasets of puzzles, quizzes and verification items, where code proves the answer key before any model words the item.
reasoning-dataset-lab(命令行工具 rdlab)是一个 map-first 实验室,用于构建谜题、测验与验证项数据集。它先用代码构造形式化状态并由求解器证明答案键,再由本地模型将条目措辞,并记录每个条目的来源。它提供地图校验与指纹、模型列出与多样性报告以及评委比拼(bake-off);后者包含密封测试部分、表面特征探测以及独立评分步骤。项目为 Python 包,要求 Python 3.13 及以上,评委运行需 GPU 与经许可的本地模型,版本为 alpha。