Profile of heime.jorgen

Some features may not work without JavaScript. Please try enabling it if you encounter problems.

3 projects

Last released Jun 20, 2026

Machine-verified computational biology contracts, Lean 4 kernel-checked, Rust-accelerated

Last released Mar 18, 2026

Proof-of-Time tools for LangChain agents — Byzantine-resistant temporal attestation for DeFi transactions

Last released Mar 10, 2026

Python SDK for Helm Protocol — AI Agent P2P Gateway with Proof of Novelty

Supported by