Nicholas H

nickh007

2 33

AI & ML interests

None yet

Recent Activity

updated a dataset about 3 hours ago

nickh007/cert-atlas

updated a Space about 3 hours ago

nickh007/cert-verifier

updated a dataset about 3 hours ago

nickh007/specforge

View all activity

Organizations

spaces 12

LCERT Certificate Verifier

🔏

Verify a certificate in your browser. Nothing is uploaded.

soundnessbench

🧮

Score a soundness tool in your own browser

certkit — check the proof, not the promise

🔏

Verify safety proofs in-browser. Watch a forgery be refused.

specforge leaderboard

🔬

Score a solver with every counterexample replayed

Protocol-Bench & minicheck

🔍

Run a model checker in your browser

PQC Migration Explorer

🛡

Is your PQC reassembly cap safe? One click.

View 12 Spaces

models 0

None public yet

datasets 15