io.github.assura-lang/assuraother

Assura

Verified · today

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

Our take

Checks Assura contracts with Z3 and reports whether they are verified, disproven by a counterexample, or unresolved. It is useful for formal-methods practitioners and Assura users, though the small project footprint and possibility of Unknown results call for independent validation in critical workflows.

reviewed by hand · 2026-11-09

Something wrong or dead here? Report it

Verification record

last verified
today
github stars
9
last commit
today
archived
no
license
MIT
in registry since
2026-11-08

github.com/assura-lang/assura

More in other

browse all →
front-end-checklistother

Front-End Checklist

Verified · 38 days ago

Review frontend code and live pages against 386 quality-gated web development rules.

hand-reviewed74k starschecked 38 days ago

chrome-devtools-mcpother

Chrome DevTools MCP

Verified · 2 mo ago

MCP server for Chrome DevTools

hand-reviewed52k stars1.5m dl/wkchecked 2 mo ago

reactive-resumeother

Reactive Resume

Verified · 2 mo ago

Free open-source resume builder with remote MCP tools for resumes and job applications.

hand-reviewed43k starschecked 2 mo ago

mcpother

PostHog MCP Server

Verified · 2 mo ago

Official PostHog MCP Server for product analytics, feature flags, experiments, and more.

hand-reviewed40k starschecked 2 mo ago

mcp-server-commandsother

mcp-server-commands

Verified · 2 mo ago

An MCP server to run arbitrary commands

hand-reviewed39k stars138 dl/wkchecked 2 mo ago

editorother

Pascal 3D Editor

Verified · 17 days ago

Create, inspect, validate, and save editable 3D building scenes with Pascal's MCP server.

hand-reviewed25k stars295 dl/wkchecked 17 days ago