socratic
为代码审查提供端到端的发现、确认与反驳循环,降低漏测风险。
串联 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ワークフローを実行して」.
帮我安装这个 skill:https://raw.githubusercontent.com/Shogo1222/socratic/main/skills/socratic/SKILL.mdcurl -fsSL "https://raw.githubusercontent.com/Shogo1222/socratic/main/skills/socratic/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