ollama run BoltonBailey/Kimina-Prover-72B
curl http://localhost:11434/api/chat \
-d '{
"model": "BoltonBailey/Kimina-Prover-72B",
"messages": [{"role": "user", "content": "Hello!"}]
}'
from ollama import chat
response = chat(
model='BoltonBailey/Kimina-Prover-72B',
messages=[{'role': 'user', 'content': 'Hello!'}],
)
print(response.message.content)
import ollama from 'ollama'
const response = await ollama.chat({
model: 'BoltonBailey/Kimina-Prover-72B',
messages: [{role: 'user', content: 'Hello!'}],
})
console.log(response.message.content)