The official GitHub document of deepseek currently includes 3 AI agent frameworks, two of which come from the $ICP ecosystem: Anda and Alice