deepseek-harness — trending on GitHub — Fun with Learning Technology