# AI驗證

MCP-Logic是一個基於MCP協議的邏輯推理服務器，為AI系統提供自動化定理證明和模型驗證功能。

MCP as a Judge 是一個行為型 MCP 服務器，作為 AI 編碼助手與 LLM 之間的驗證層，通過強制執行基於證據的研究、代碼質量審查和人工決策介入，確保生成更安全、高質量的代碼。

SlopWatch是一個AI代碼實現驗證工具，通過對比AI聲稱實現的功能與實際代碼差異，確保AI編程的準確性。提供即時驗證、代碼質量分析和開發流程集成功能。

MCP Server是一箇中間件服務器，作為Cursor IDE與AI模型之間的橋樑，利用項目上下文和Gemini驗證AI響應。