First-year Math + CS at U of T. Built Scopehaven (solo project: security testing for AI agents; site), effect-tracer and ToolEffectBench. Looking to join a startup team full-time from January 2027, in San Francisco or New York.
-
Scopehaven
- Toronto, Canada
- https://scopehaven.dev
Highlights
- Pro
Pinned Loading
-
agent-eval-mutation-lab
agent-eval-mutation-lab PublicReproducible experiments that check what tool-using agents actually did, including partial failures and unknown outcomes.
Python
-
tiraz-garment-completion
tiraz-garment-completion PublicA PyTorch garment-completion study measuring accuracy, calibration, and uncertainty when outfit context is missing.
Python
-
agent-proof
agent-proof PublicRun reviewer-selected checks and keep redacted, traceable evidence. A dependency-free TypeScript CLI.
TypeScript
-
callreclaim-webmcp
callreclaim-webmcp PublicA WebMCP missed-call desk where agents prepare replies and owners decide. Interactive demo with synthetic data.
TypeScript
-
effect-tracer
effect-tracer PublicRecords what a Linux process tree actually did (file writes, connects, DNS, execs) into a hash-chained, Ed25519-signed ledger with a stdlib Python verifier. ptrace + seccomp; no root needed. eBPF b…
Rust
-
scopehaven-oss
scopehaven-oss PublicChecks what an AI agent actually did in your app, not what it said. Local, deterministic, Apache-2.0.
JavaScript
If the problem persists, check the GitHub status page or contact support.