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