🧩

Verus MCP

$6.42

General rust Verified 4/5

MCP server that indexes all Verus spec/proof/exec functions across the verus-cad workspace. Search by name, signature types, trait bounds, requires/ensures clau

generalrustverus

Install

# See README

Sentinel: 4/5 — Verified

Language: rust

Category: General

Slug: verus-mcp

Docker: ✗ No

Verified: ✓ Yes

Price: $6.42

Buy Now — $6.42

Secure checkout · Instant delivery

Embed this badge in your README

[![Sentinel 4/5](https://marketnow.site/badge/verus-mcp.svg)](https://marketnow.site/skill/verus-mcp)

← Browse all 13,859 skills