logicprobe

Verified

Claim verification for AI coding agents — logic-primitive verification for state machines, data models, and concurrency risk in design docs & refactoring plans. Cross-platform Agent Skills + DSH native. | AI 编程助手声明核查插件：对设计文档与重构计划做逻辑原语验证，覆盖状态机、数据模型与并发风险，支持前后回归。跨平台 Agent Skills + DSH 原生。

View on GitHub

Verified plugin

Depends on the Cordis runtime or ships a cordis.yml, so it loads as a real dsh plugin.

What we found in the repo

— depends on @deepseek-ai/cordis
— depends on @deepseek-ai/dsh-agent
— npm package dsh-logicprobe

Installing

Install the package, then register it in your cordis.yml:

npm install dsh-logicprobe

# cordis.yml
plugins:
  dsh-logicprobe:

Plugin keys and config options vary — check the repo's README before copying this in. dsh is in developer preview and its loader format is still changing.

Before you install

A listing here is not a security audit. The tier above records whether this repo is wired as a real dsh plugin — not whether it is safe to run. A plugin executes with your agent's permissions: your files, your shell, your network. How to vet a dsh plugin before installing

Found malware or an impersonation in this repo? Report this listing

Repository details

Stars: 3
Forks: 0
Open issues: 0
Language: JavaScript
License: MIT
npm package: dsh-logicprobe @ 0.5.4
Created: 2026-08-12
Last push: 2026-08-31

Topics

agent-pluginagent-skillsai-agentsclaude-codecodexcordisdeepseek-harnessdsh-pluginverification

More in Skills & Agents

cherry-studio

Verified

CherryHQ

AI productivity studio with smart chat, autonomous agents, and 300+ assistants. Unified access to frontier LLMs

51,327TypeScriptupdated today

dsh-routing-suite

Verified

yjh051108

dsh-routing-suite — injector + router-standard kit: install the runtime injector first, then the task-aware reasoning-mode router preset (measured P1-P23).

7,013JavaScriptupdated 3d ago

dsh-desktop

Verified

dataelement

DSHDesktop：DeepSeek Harness Desktop / DeepSeek Harness 桌面版

3,654TypeScriptupdated today

DSH-better-sidebar

Verified

omdsh-dev

开放的侧边栏底座，支持三方拓展注册新侧边栏页面。内置文件渲染编辑/终端/侧边对话/Git/子代理页面｜ Open sidebar foundation, supports third-party extensions to register new sidebar pages. Built-in file rendering/editing, terminal, side chat, Git, and sub-agent pages.

3,199TypeScriptupdated today

dsh-TUI

Verified

ccch1mneyyy

DSH 官方公众号收录的 TUI 补位插件：Claude Code 风，鲸鱼顶栏/实时状态/流式思考/双击 Esc 回滚/上下文进度+TPS。npm 一键装。 DSH official WeChat featured TUI plugin — Claude Code style: whale bar, live status, streaming thoughts, double-Esc rollback, context bar + TPS. npm one-click.

2,758TypeScriptupdated today

Aegis

Verified

GanyuanRan

Make AI coding agents architecture-aware: baseline-first, evidence-verified, drift-checked, and safe across long tasks.

1,157Pythonupdated yesterday