AmethystLuna/logicprobe
logicprobe is a tool for DeepSeek Harness. 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 coding agent claim verification plugin: logic-primitive verification of design docs and refactoring plans, covering state machines, data models and concurrency risk, with before-and-after regression. Cross-platform Agent Skills + DSH native.
REVIEW SCORECARD
✓ 无Risky检出 · 自动化扫描结果仅供参考，非官方背书
正在读取 GitHub README...
README 暂时无法读取。
前往仓库INSTALL REFERENCE
dsh plugin --profile web add dsh-logicprobeThis command comes from an explicit install reference in the README and is provided for reference only — it is never auto-executed by a DSH host.
PROJECT TOPICS
VALIDATION LADDER
FAQ
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 coding agent
logicprobe has 2 stars and 0 forks on GitHub, last updated 2026-08-26.
logicprobe is distributed under the MIT license.
logicprobe is listed in the DSH Universe directory as a tool for DeepSeek Harness. This plugin is listed in the DSH Universe directory and covered by its validation pipeline.
CLASSIFICATION EVIDENCE
System reads GitHub Topics first, then compares against the in-site category dictionary and word-root rules. Current match:agent-skills、claude-code。
nexu-io
🎨 Best DeepSeek Harness Design Plugin. The open-source Claude Design alternative. 🖥️ Local-first desktop app. 🖼️ Your coding agent becomes the design engine: prototypes, landing pages, dashboards, slides, images & video — real files, HTML/PDF/PPTX/MP4 export. 🤖 Claude Code / Codex / Cursor / DeepSeek Harness / OpenCode & 20+ CLIs via BYOK.
titanwings
Distilly — Distill how they think into reusable Skills for any Agent or Bot. Formerly Colleague Skill (originally a colleague Skill).
tt-a1i
Agent skill for beautiful, verifiable architecture, workflow, sequence, data-flow, and lifecycle diagrams—self-contained HTML with motion and crisp export.
YaoApp
✨ All your agents and workspaces in one place, on every device you own. Track tasks on a board, accessible from desktop, mobile, browser, or API. Self-hosted.
Devin-AXIS
Enterprise-grade, local-first Agent Workbench for people and agent teams. A unified multi-engine workspace for Codex Harness, DeepSeek Harness, and OpenCode, with unified plugins and Skills, multi-agent projects and tasks, and editable code, documents, presentations, design, and video.
edison7009
One-click install + model switch:Claude Code,Codex CLI (OpenAI), Grok Build (xAI), DeepSeek Harness, Kimi Code (Moonshot) ,Qwen Code,Aider,OpenCode,MiMo Code (Xiaomi),ZCode (Z.AI),OpenClaw,Pi,OpenScience,Vibe-Trading,Claude Desktop (3P profile),ChatGPT desktop,OpenCode Desktop,