@hackage ollama-holes-plugin0.1.0.0

A typed-hole plugin that uses LLMs via Ollama to generate valid hole-fits

This package provides a GHC plugin that uses LLMs via Ollama to generate valid hole-fits. . The following flags are available: . To specify the model to use: . > -fplugin-opt=GHC.Plugin.OllamaHoles:model=model_name . To specify how many fits to generate (passed to the model) . > -fplugin-opt=GHC.Plugin.OllamaHoles:n=5 . To enable debug output: . > -fplugin-opt=GHC.Plugin.OllamaHoles:debug=True . Before using this plugin, make sure you have the Ollama CLI installed and the model you want to use is available. You can install the Ollama CLI by following the instructions at https://ollama.com/download, and you can install the default model (gemma3:27b) by running `ollama pull gemma3:27b`. . Note that the speed and quality of the hole-fits generated by the plugin depends on the model you use, and the default model requires a GPU to run efficiently. For a smaller model, we suggest `gemma3:4b-it-qat`, or `deepcoder:1.5b`.