AI 原生的 Rust 扫雷 —— CSP 求解引擎 + 可被 LLM 直接操控的 MCP 接口
Drift inferred · capture-to-capture
No drift recorded — single capability capture; advisories appear once its surface changes.
transport — counts 0 tools · 0 res
· 0 prompts
permission surface via code analysis
No tools enumerated yet for this server.
evidence-backed
findings quoted directly from the published source artifact — not inferred
code files: 49
declared dependencies 14
- rmcp@3.1
- nexus-core@*
- nexus-solver@*
- nexus-assess@*
- thiserror@2.0
- serde@1.0
- serde_json@1.0
- tokio@1.53
- ratatui@0.30
- tracing@0.1
- tracing-subscriber@0.3
- axum@0.8
- tower@0.5
- http-body-util@0.1