Mathematical Logic Expert 是一个面向形式逻辑、模型论、可计算性以及数学基础领域的技能模板。
用途 该技能旨在为数学逻辑相关主题提供专家级指导，覆盖形式逻辑、模型论、可计算性和数学基础等方向。
当前状态 根据资料，该技能目前是“遗留模板，等待研究升级”（Legacy template awaiting research upgrade）。最后验证日期为 2025-11-08，置信度标记为低（Low）。资料明确说明：在置信度升级到中或高之前，不要依赖此技能。
主要模块 技能包含以下模块：
- 核心指导（Core guidance）：保留的遗留说明，供审查使用。
- 已知缺口（Known gaps）：验证任务和开放问题。
- 研究清单（Research checklist）：强制性的时效性工作流。
使用方式 资料给出的使用步骤如下：
- 从 modules/research-checklist.md 开始，并收集最新的来源。
- 查看 modules/known-gaps.md 并解决未完成的事项。
- 只有在验证之后，才从 _toc.md 加载特定主题的模块。
- 当置信度改善时更新元数据。
研究状态 新的网络研究尚待完成（转换记录于 2025-11-08）。所有新来源需记录在 Source Log 和研究清单中。
适用场景与限制 该技能适用于需要形式逻辑、模型论、可计算性和数学基础方面指导的场景，但由于当前置信度低且属于遗留模板，资料明确要求不要依赖它，直到置信度升级。关于收费、价格、平台支持、具体效果或更详细的使用步骤，资料暂未提供。