curl http://localhost:11434/api/chat \
  -d '{
    "model": "codecraftersllc/goedel-code-prover:q8_0",
    "messages": [{"role": "user", "content": "Hello!"}]
  }'

from ollama import chat

response = chat(
    model='codecraftersllc/goedel-code-prover:q8_0',
    messages=[{'role': 'user', 'content': 'Hello!'}],
)
print(response.message.content)

import ollama from 'ollama'

const response = await ollama.chat({
  model: 'codecraftersllc/goedel-code-prover:q8_0',
  messages: [{role: 'user', content: 'Hello!'}],
})
console.log(response.message.content)