Assura
io.github.assura-lang/assura
Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.
- Category
- Documents & Knowledge
- Version
- 0.8.1
- Registry
- active
- Published
- 11/9/2026
More Documents & Knowledge servers
Browse all Documents & Knowledge →
io.github.astra-intelligence/web2md
astra-intelligence
Convert any URL to clean Markdown. Free tier: 10/day. Unlimited via Gumroad license.
Web2MD MCP Server
astra-intelligence
Convert any public URL to clean, readable Markdown for AI agents. Strips ads, navigation, and boi...
Papyrio PDF Tools
atabekdemurtaza
Compress, convert, merge, split and OCR PDFs from an assistant, using local files.
Sheets MCP
atc07
Google Sheets for agent workflows in Claude Code and Claude Desktop: APIs, files, schedules, undo.
llmwiki
atomicstrata
Compile documents into a cited knowledge wiki. Retrieve evidence, query, and review via local MCP.
mcp-newbuild
atomno-mcp
New-build MCP on the client's EISZHS contract. Spec is closed.
Add the badge to your site
Show visitors that Assura is listed here — it’s also the link we check for a free listing.
HTML — for your website
<a href="https://serverdex.io/server/io-github-assura-lang-assura?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Assura — listed on Serverdex" width="123" height="40" loading="lazy"></a>Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.
Markdown — for your README
[](https://serverdex.io/server/io-github-assura-lang-assura?utm_source=badge)Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.