Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.
Install
KitScout test notes
Not tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.
Similar tools
- io.github.aa0101181514/tw-legal-rag 346 ★
Taiwan law MCP server: 22M court judgments, statutes, agency rulings, with citation checks - Ansvar: Dutch Law 3 ★
Dutch law via Ansvar Gateway. Cited, OAuth + paid tier. - Ansvar: EU Compliance & Legal Intelligence 3 ★
Cited EU & global law, regulations & security frameworks via Ansvar Gateway. OAuth, free + paid. - Ansvar: EU Regulations 3 ★
EU regulations (GDPR, DORA, NIS2, AI Act, etc.) via Ansvar Gateway. Cited, OAuth + paid. - Ansvar: French Law 3 ★
French law via Ansvar Gateway. Cited, OAuth + paid tier.