菜单
ke-tools 收录了来自 KE7 的 1 个 skills,并提供仓库级职业覆盖和站内 skill 详情页。
Use when the user asks to write, edit, debug, explain, or review Scenic code, Scenic scenarios, Scenic simulator integrations, or Scenic syntax errors. Especially useful for Scenic object specifiers, requirements, behaviors, modular scenarios, temporal logic, Python integration, and loop/iteration constraints.