@amethystluna/logicprobe

Design document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to logic-primitive verification (7 structural checks + 7 adversarial probes) for behavioral claims. Before/after model comparison for refactoring regression detection. Ships a native DeepSeek Harness (dsh) bundle that injects the claim-verification gate into the first model step.

AI 分析

核心用途是验证设计文档、重构计划和行为声明的逻辑一致性。适合需要对复杂代码变更、死锁或时序问题进行对抗性审查的开发团队。

パッケージ

@amethystluna/logicprobe

バージョン

0.2.1

ライセンス

MIT

最終更新

2026/08/17

Usage

The plugin auto-injects a capability notification into the first model step. The skill activates when its Use when description matches your task:

Design doc / plan review — "Review this design document" → claim enumeration and codebase verification
Behavioral questions — "could this state machine deadlock", "is this retry limit safe", "check this timing for bugs" → the skill is proactively suggested (not auto-loaded) as an optional verification pass
Refactoring plans — the pipeline compares before/after models to flag undocumented behavioral changes

The skill auto-classifies depth (LIGHTWEIGHT / STANDARD / ESCALATED) from plan features in Phase 0, and appends a ## Plan Verification summary block as the audit trail.

Python is optional: when available, the reusable harness at references/verification-harness.py runs the checks; when not (air-gapped machines), the guide at references/logic-verification-guide.md provides a manual verification mode.

Configuration

In DeepSeek Harness, the bundle accepts a small configuration object:

Key	Type	Default	Description
`enabled`	boolean	`true`	Set to `false` to disable the session-start gate injection.
`gateContent`	string	built-in gate text	Override the text injected into the first model step.

To change it, override the row by id in your profile's cordis.patch.yml:

- insert:
    - id: logicprobe
      name: '@amethystluna/logicprobe'
      config:
        enabled: true
        gateContent: |
          ...

@amethystluna/logicprobe

AI 分析

インストール

ドキュメント

Usage

Configuration