← nischoy.ai

Verification Dashboard

SMT2 formal verification of security-critical open source code paths.

21 project(s) verified

AVideo

master · PHP · 2 properties checked

VERIFIED

OpenSSH

master · C · 15 properties checked · 🌳 real parser

VERIFIED

OpenSSL

master · C · 16 properties checked · 🌳 real parser

VERIFIED

astro

master · TypeScript · 1 properties checked

VERIFIED

curl

master · C · 20 properties checked · 🌳 real parser

VERIFIED

git

master · C · 23 properties checked · 🌳 real parser

VERIFIED

go-sdk

master · Go · 1 properties checked

VERIFIED

godoxy

master · Go · 1 properties checked

VERIFIED

libpng

master · C · 14 properties checked · 🌳 real parser

VERIFIED

libsodium

master · C · 18 properties checked · 🌳 real parser

VERIFIED

libxml2

master · C · 14 properties checked · 🌳 real parser

VERIFIED

mbedTLS

master · C · 16 properties checked · 🌳 real parser

VERIFIED

minio

master · Go · 1 properties checked

FAILED

nats-server

master · Go · 3 properties checked

VERIFIED

nginx

master · C · 18 properties checked · 🌳 real parser

VERIFIED

soft-serve

master · Go · 1 properties checked

VERIFIED

sqlite

master · C · 22 properties checked · 🌳 real parser

VERIFIED

sudo

master · C · 14 properties checked · 🌳 real parser

VERIFIED

traefik

master · Go · 1 properties checked

VERIFIED

vim

master · C · 1 properties checked · 🌳 real parser

VERIFIED

zlib

master · C · 18 properties checked · 🌳 real parser

VERIFIED

Last updated: 2026-03-27 00:05:21 UTC · Solver: Z3 4.16.0