YUyultrace auditEVM Slither audit (zero-arg demo + live) + Blockscout source + security.txt lookup + MCP probe.More to exploreRemoteMCP Registry
YUyultrace auditEVM audit (Slither + source + security.txt + MCP-probe + wallet-exposure). 6 tools + /trace.More to exploreRemoteMCP Registry
YUYumi Cost Aware Diagnostic PlannerExact expected-cost diagnostic policies for caller-supplied finite deterministic fault models.More to exploreRemoteMCP Registry