Nicholas H

nickh007

2 33

AI & ML interests

None yet

Recent Activity

liked a model 4 days ago

zai-org/GLM-5.3-Flash

liked a model 5 days ago

Qwen/Qwen3.8-Flash-Next

updated a dataset 12 days ago

nickh007/specforge

View all activity

Organizations

spaces 12

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.

LCERT Certificate Verifier

🔏

Verify a certificate in your browser. Nothing is uploaded.

Wait-For Visualiser

🔗

Detect and visualize deadlock cycles in wait‑for graphs

soundnessbench

🧮

Score a soundness tool in your own browser

View 12 Spaces

models 0

None public yet

datasets 15