@validation-engineering/cordis-compat-deepseek
Compatibility with @deepseek-ai/cordis over the Rust/Verus Cordis runtime; not the DeepSeek Harness application
下载量 / Downloads
0
安装
dsh plugin --profile web add @validation-engineering/cordis-compat-deepseek
沙箱测试
这个插件还没测过。提交测试 →