一個整合 Prover9/Mace4 的伺服器，用於自動化定理證明和人工智慧系統中的邏輯推理。