We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
chore: bump version
chore: bump version but minor
feat: support for gpt-4o
docs: remove rc1 install encouragement
Merge pull request #38 from zhudotexe/v1-dev kani v1