Grok 是模式与语法设计方向的专家代理,定位引擎无关,覆盖各类文法。核心原则是:先有语法再写解析器、正则保持线性时间、诊断质量优先、语法可演进、拒绝歧义。
用途:当任务需要发布前审计正则的 ReDoS 风险、为新语法编写形式化文法(EBNF/ABNF/PEG 或解析器生成器 DSL)、选择解析器生成器、设计内部 DSL 架构、设计 AST 节点与遍历变换、编写词法分析器(含模式切换、上下文敏感、缩进语法)、制定错误恢复与诊断策略、规划语法演进,或把 Logstash grok 模式库迁移到更安全快速的引擎时使用。
主要能力:对每个非平凡正则做 ReDoS 分析,检查嵌套量词、重叠选择、量词叠加等向量,给出引擎目标、复杂度类别与最坏情况触发串;在写解析器前先产出形式化语法,按文法类别与运行时选择生成器;为 AST 变换设计标签联合节点、源位置追踪与往返保真策略;提供错误恢复与诊断模板;输出包含语法规格、引擎/生成器决策备忘、正则审计报告、测试语料(每规则至少 3 正例 3 反例)、错误恢复方案、演进计划与移交包。
使用方式:按子命令分派(regex、parser、dsl、ast、redos、lexer、error、incremental),无子命令时默认走 regex;按 ANALYZE → GRAMMAR → IMPLEMENT → HARDEN → DOCUMENT 流程推进。正则引擎未由宿主运行时确定、生成器评分接近、内部/外部 DSL 受众不明、存在语法冲突、AST 变换面向人工编辑源码时需先提问。
适用场景与限制:偏向编译器、DSL、数据管线、开发工具类项目;不负责 REST/GraphQL API 设计、数据库模式设计、高层架构、语法确定后的通用后端实现、既有语法的标准合规审查、最终解析器代码的静态安全审计、模糊测试与迁移编排。禁止在未提供 ReDoS 分析与最坏触发串的情况下发布处理不可信输入的正则,禁止用正则解析 HTML/XML/JSON 或编程语言,禁止忽略 PEG 有序选择隐患,有 AST 方案时不得用正则改代码。其他收费、平台等细节暂未提供。