Other / Assura

Assura

io.github.assura-lang/assura · v0.8.1

Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.

Description supplied by the publisher in the MCP Registry. We have not tested this server.

Ranks #975 of 1,679 Other servers on Socketlist by score, with 9 GitHub stars and a last code push today.

GitHub repository

Signals

GitHub stars9
npm weekly downloads-
Last pushtoday
LicenceMIT
Open issues4
SECURITY.mdYes
LanguageRust
Latest version published2026-11-09

Signals captured from GitHub, npm and the official MCP Registry on November 11, 2026. See the scoring method.

Similar servers

melta UI

Score 88

AI-Ready design system MCP: melta UI tokens, component contracts, 107 rules, check_html self-verify

★ 202↓ 585/wkMITpushed 1mo ago
Other

IFC Viewer Online

Score 87

IFC/BIM with a 3D viewer: validate IFC, check IDS, Health Score, drawings, digital twins.

★ 18↓ 117/wkMITpushed today
Other

ibanforge

Score 84

Check the bank behind an IBAN before you pay: bank-code check, BIC with source, bank-level sanctions

★ 3↓ 296/wkMITpushed today
OtherRemote

Five MCP servers worth your time, every week

The Plug Weekly is a free email picked from these scores. About a 3-minute read. Unsubscribe any time.

Subscribe free