trendingsociety

Discover Tools Skills MCP Servers Open Source Reading RoomTemplatesInspirationFeeds

trendingsociety

The Signal

Useful tools and ideas, in your inbox.

Explore

Tools Skills MCP Servers Open Source Reading Room Templates Inspiration Feeds

Company

About Work with us FAQ

Legal

Editorial policy Privacy Terms Cookies

© 2026 Trending Society

Discover Tools Skills MCP Servers Open Source Reading RoomFeeds

Browse

Discover Tools Agent skills MCP servers Open source Reading room Feeds

Make

Templates Inspiration

Company

About Work with us Newsletter

Assura | MCP Servers | Trending Society

Installable59,764 All servers61,446 Official

Categories

All categories Data & Analytics9,591 Platforms8,234 Coding5,686 Productivity5,324 AI & Models4,673 Infrastructure3,653 SEO & Marketing3,583 Finance2,920 Security2,919 Design2,713 Legal & Government2,528 Social Media1,724

Assura

By assura-langMCP server

View repository

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

Uncategorized99 GitHub starsUpdated Nov 9, 2026

Remotes

This server publishes no hosted endpoint. Run one of its packages locally.

Packages

assura · cargo 0.8.1 · stdio

Server details

Registry name: io.github.assura-lang/assura
Version: 0.8.1
Registry status: active
Repository: assura-lang/assura

First published

Nov 9, 2026

Source

Official MCP Registry

Last refreshed

Nov 9, 2026