Show HN：Nischoy，一个使用形式逻辑的确定性提示注入检测器

Nischoy 是一个提示注入检测器，它使用基于语法的语言分析和经 SMT 求解器校验的形式逻辑策略，而非依赖 LLM，可在普通 CPU 上运行。在 Apple M4 CPU 上进行的一项本地基准测试中，共 120 次预热请求，一次典型检查的中位耗时为 4.7 毫秒（p95 为 6.0 毫秒，首次请求约 101 毫秒），作者指出这并非生产环境的延迟测量结果。每个判定结果都可追溯到提取出的动作和目标，以及实际触发的具体策略，因此相同的输入始终得到相同的答案。