CockroachDB development plugin for OpenAI Codex - View it on GitHub