Skip to content

Conversation

@jeremymanning
Copy link
Member

This commit fixes issue #39 by addressing two critical problems:

  1. SSL Certificate Verification: Configure httpx client to disable SSL verification when running behind a proxy with self-signed certificates. This fixes the "CERTIFICATE_VERIFY_FAILED" error that was preventing the auto_solver from connecting to the OpenAI API.

  2. Token Limit: Increase max_completion_tokens from 2000 to 8000 to accommodate the GPT-5-mini model's reasoning tokens. The model uses separate reasoning tokens (internal thinking) before generating the actual output, and the previous limit was insufficient.

Tested successfully with real daily LeetCode problem #3321 and confirmed that the auto_solver now generates complete solutions.

This commit fixes issue #39 by addressing two critical problems:

1. SSL Certificate Verification: Configure httpx client to disable SSL
   verification when running behind a proxy with self-signed certificates.
   This fixes the "CERTIFICATE_VERIFY_FAILED" error that was preventing
   the auto_solver from connecting to the OpenAI API.

2. Token Limit: Increase max_completion_tokens from 2000 to 8000 to
   accommodate the GPT-5-mini model's reasoning tokens. The model uses
   separate reasoning tokens (internal thinking) before generating the
   actual output, and the previous limit was insufficient.

Tested successfully with real daily LeetCode problem #3321 and confirmed
that the auto_solver now generates complete solutions.
@jeremymanning jeremymanning merged commit 728232c into main Nov 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants