ProofServerClientImpl

constructor(proofServerUrl: String = "http://localhost:6300", developmentMode: Boolean = true)

Convenience constructor for production use (creates default HTTP client).

constructor(httpClient: HttpClient, proofServerUrl: String = "http://localhost:6300", developmentMode: Boolean = true)

httpClient

HTTP client for making requests (injectable for testing)

proofServerUrl

Proof server endpoint URL (e.g., "http://localhost:6300")

developmentMode

If true, allows HTTP to localhost (INSECURE - testing only)