There are 0 repository under verification-engine topic.
A universal, language-agnostic code analysis and verification engine. LLM-powered. Formal-methods-backed. Runtime-ready. Think mypy meets miri meets Coq—for any language.