Younesse Kaddar

`sphinx.util.compat.Directive` class is deprecated

5

Hi! First of all, thanks a lot for your awesome theme! Unfortunately, as said in the title: now you get an error when building the documentation in readthedocs.org: ...

cf. https://www.mathjax.org/cdn-shutting-down/

Agda support

9

Hello, thank you for your amazing code highlighter! I'm using it on my Jekyll blog 😃 Would it be possible to add support for Agda? (there's already support for Coq,...

More detailed instructions for Mac users and suggested fix to avoid PyO3 errors on Apple Silicon.

Add support for OpenAI's codex-mini-latest model

4

## Summary This PR adds support for OpenAI's `codex-mini-latest` model, which is a fine-tuned version of o4-mini specifically for use in OpenAI's Codex CLI. The model requires the newer `/v1/responses`...