MCP server

logicprobe

设计与代码的声称核验：事实类对照源码，行为类跑可执行模型；含结构/依赖审查（单层与多粒度细化）、UML 审查、基线对比与导出。dsh 原生工具 + 多平台 Agent Skills。 | Claim, architecture and behaviour verification for designs and code — facts against the source, behaviour as models, plus structure review, UML review, baseline diffs and exporters.

• Published source
• Repository

Version

main

Last observed

11 October 2026

This is public metadata, not a safety certification or complete assessment. Static analysis cannot establish what a tool does at runtime.