一键安装此插件：
42plugin install afhverjuekki/claude-code-aristotle-plugin/proof-verifier42plugin install afhverjuekki/claude-code-aristotle-plugin/proof-verifier插件介绍
证明验证器是一款用于验证数学证明的插件，旨在确保证明的正确性和有效性。它支持多种证明格式，并提供详细的验证报告，帮助用户快速识别潜在错误。无论是学术研究还是日常学习，这款工具都能提升您的工作效率。