io.github.assura-lang/assura

not probeable (local package)

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Assura

Publisher-provided description

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

Summary by lookupd

Lets an agent verify Assura contracts with the Z3 solver, returning Verified, Counterexample, or Unknown for each check.

Install

No install method is listed in the registry entry.

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

• Version: 0.8.1
• Transports: stdio
• First indexed: 2026-11-08T21:17:20.952Z
• Last seen in registry: 2026-11-09T19:17:13.295Z
• Repository: https://github.com/assura-lang/assura

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.assura-lang/assura.svg)](https://lookupd.com/servers/io.github.assura-lang/assura)

• 62141 servers
• Last crawl: 2026-11-11T18:17:25.333Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp