curl http://localhost:11434/api/chat \
  -d '{
    "model": "alessandrorumampuk/Goedel-Prover-V2",
    "messages": [{"role": "user", "content": "Hello!"}]
  }'

from ollama import chat

response = chat(
    model='alessandrorumampuk/Goedel-Prover-V2',
    messages=[{'role': 'user', 'content': 'Hello!'}],
)
print(response.message.content)

import ollama from 'ollama'

const response = await ollama.chat({
  model: 'alessandrorumampuk/Goedel-Prover-V2',
  messages: [{role: 'user', content: 'Hello!'}],
})
console.log(response.message.content)