socratic

仓库创建 2026年7月21日最近提交 2 天前SkillHot 收录 15 小时前
▸ 精选理由

为代码审查提供端到端的发现、确认与反驳循环,降低漏测风险。

这个 Skill 做什么

串联 Maieutic 与 Elenchus 完成意图确认+变异挑战的完整审查流程。

先用 Maieutic 把变更意图和不确定点抽出来、人确认需求,再用 Elenchus 用有针对性的变异去挑战这些测试,最后把结果整理成 Review This / We Verified / Still at Risk / 可复制的评审评论。适合做 feature review、重构保护或审查 AI 生成的 PR,强调人机协作:人来定契约,机器来检验覆盖。输出是供人工复核并直接贴到代码评审里的结论与建议。

▸ 展开 SKILL.md 英文原文

Orchestrate the complete human-confirmed intent-testing workflow by using Maieutic to expose uncertainty, confirm intent, and propose missing tests (applied only on explicit request), then using Elenchus to challenge those tests with risk-directed mutations, and deliver the canonical review surface (Review This / We Verified / Still at Risk / Copy-ready Comments). Use for Feature Review or Refactor Guard of pull requests, local diffs, or AI-generated changes, or requests such as「変更の意図確認からMutation検証までやって」「人間の判断だけ聞いてテストを強化して」「AI生成PRをレビューして」「Socraticワークフローを実行して」.

开发编程审查流程问答式验证测试防御通用
4
Stars
0
Forks
3
仓库内 Skill
积累中
7 日增星
安装 / 使用
给你的 Agent 一句话(通用)
帮我安装这个 skill:https://raw.githubusercontent.com/Shogo1222/socratic/main/skills/socratic/SKILL.md
或 curl 直取 SKILL.md
curl -fsSL "https://raw.githubusercontent.com/Shogo1222/socratic/main/skills/socratic/SKILL.md"
SKILL.MD 节选查看完整文件 ↗
# Socratic

Orchestrate a full cycle of inquiry and refutation. Use Maieutic to discover and confirm the contract, then Elenchus to challenge whether tests defend it. Deliver the change as the small set of decisions a human must make, backed by proven tests and copy-ready review comments. Socratic assists the reviewer; it never replaces review and never posts to a code host.

## Required skills

Use both sibling skills:

- `$maieutic` for intent elicitation, Intent Contract management, QA review, and focused test completion;
- `$elenchus` for Catch or Harden Mode mutation validation.

If either skill is unavailable, identify the missing skill and stop before its stage. Do not silently approx
via SKILL·HOT · 数据来自 GitHub 公开信息 · 原文版权归作者所有