创建分组数据的MySQL JSON函数有问题

我在MySQL中有以下简单的JSON结构。

{"person_main":{"name_first": "Mike"}}

{"person_main":{"name_first": "Mike", 
 "skills": [
  {"Name": "Learning", "Proficiency": 3}, 
  {"Name": "Teaching", "Proficiency": 2}
]}}

我不知道如何将“Skills”数据作为组内容插入到基本JSON结构中 使用MySQL JSON函数

虽然下面的代码不起作用,但我想做的是:

SET @tempvar = '{"person_main":{"name_first": "Mike"}}';
SET @tempvar = JSON_SET(@tempvar, '$.person_main.skills[0].Name', 'Learning');
SET @tempvar = JSON_SET(@tempvar, '$.person_main.skills[0].Proficiency', '3');
SET @tempvar = JSON_SET(@tempvar, '$.person_main.skills[1].Name', 'Teaching');
SET @tempvar = JSON_SET(@tempvar, '$.person_main.skills[1].Proficiency', 2);

我到底该如何用MySQL完成这个任务呢?我只想在一个子字段中构建一组还不存在的内容。