Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 27 additions & 0 deletions .agents/skills/journal-code-review/SKILL.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
---
name: journal-code-review
description: 在请求审查 Journal 代码时使用,检查性能、UX 与类型约束。
---

# Journal Code Review

只读审查请求范围内的代码,只报告问题,不修改代码或其他文件。

## 性能

- 检查读写放大:单次操作是否重复全量读取、遍历或重写,结合数据量与调用频率判断影响。
- `List` 仅用于明确小于 1000 项的数据,数量未知或可能 >= 1000 时应改用 `rrbvec`(已有依赖时使用 `Rrbvec` 向量),重点检查高频 `List.length`、`List.nth`、`List.append`、`List.concat` 等线性调用及重复拼接造成的 O(n²)。

## UX

- 检查操作进度、结果与失败是否有清晰反馈。
- 逐一检查所有可见按钮,点击必须有对应操作或明确反馈,不可操作时明确禁用并解释原因,不能静默无响应。
- 检查取消、返回与退出是否可达且能安全结束当前操作。
- 检查界面呈现与实际状态是否一致。
- 检查关键操作的可访问性,包括语义标签、焦点顺序与辅助技术支持。

## type

- 检查 `spec/` 下的 `.mli` 类型能否加强约束,以排除非法状态、区分身份与生命周期并限制构造权限。

仅报告有证据的问题,每点尽量一句,包含严重度、位置、触发条件与影响,并标明实证或推断;无发现时明确说明。
4 changes: 4 additions & 0 deletions .agents/skills/journal-code-review/agents/openai.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
interface:
display_name: "Journal Code Review"
short_description: "只读审查 Journal 代码的性能、UX 与类型约束,仅报告有证据的问题"
default_prompt: "使用 $journal-code-review 只读审查指定范围,简短报告有证据的性能、UX 与类型问题。"
14 changes: 0 additions & 14 deletions .agents/skills/ocaml-review/SKILL.md

This file was deleted.

Loading