kani CLI: access to local python files #58
Description
A fun CLI feature would be to give it an arbitrary Python file and allow the model to call Python functions from that file. Good for testing function calling.
{{ message }}
A fun CLI feature would be to give it an arbitrary Python file and allow the model to call Python functions from that file. Good for testing function calling.