Logic-Thinking MCP Server

import { LogicalSolution } from '../types.js'; /** * Interface for proof generation systems */ export interface ProofGenerator<T> { /** * Generate a proof for the given argument * @param argument The logical argument to prove * @returns A logical solution with proof steps */ generateProof(argument: T): LogicalSolution; }