How many stars will the GitHub repository 'deepseek-ai/deepseek-harness' have at resolution? — Resolved: Yes | Prophecy