# ruvector-verified-wasm

> WASM bindings for ruvector-verified, enabling browser/edge formal verification of vector operations.

- **URL:** https://crates.io/crates/ruvector-verified-wasm
- **Category:** Sdks Libraries
- **Tags:** Open Source, Rust, Wasm, verification
- **Updated:** 2026-04-07 10:19
- **Canonical page:** https://vectordb.ever.works/items/ruvector-verified-wasm

## Details

## Overview

WASM for formal vector verification.

## Features

- Browser/edge proofs
- Type-safe pipelines

## Pricing

Free and open-source.

---

_This Markdown mirror is generated by Ever Works for AI agents. The canonical HTML page is at https://vectordb.ever.works/items/ruvector-verified-wasm._