Space: m-zest/specguard-demo
title: SpecGuard — Atomic-Criteria Spec Auditor
sdk: gradio
license: apache-2.0
tags: formal-methods, verification, security, dafny, lean, verus, trojan-detection, llm-as-judge
Tags: gradio, formal-methods, verification, security, dafny, lean, verus, trojan-detection, llm-as-judge, region:us