MathKernel：LLMの数学的推論に「証拠」と「信頼ラベル」をもたらすオープンソースの多エンジン計算基盤

MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server

MathKernelは、LLMが数学的意図の解釈に集中し、計算と証拠の記録を専門エンジンに委ねるためのPythonライブラリおよびMCPサーバーです。SymPy、Z3、Lean、mpmathなど複数のエンジンを統合し、各結果に信頼レベル（EXACT、SYMBOLIC、CERTIFIED NUMERIC、FORMALなど）と導出過程のトレイルを付与します。これにより、近似入力の祖先が暗黙のうちに消えることを防ぎ、数学的主張の検証可能性を高めます。