Running on Zero
MCP
Contour Alley Designer
🌳
Simulated agroforestry designs for 4 US fields, with MCP
Justin Hart
jdhart81
AI & ML interests
Formal verification · Lean 4 · thermodynamics of information · machine learning theory · ecological intelligence
Recent Activity
updated a Space 1 day ago
jdhart81/contour-alley-designer published a Space 1 day ago
jdhart81/contour-alley-designer updated a dataset 2 days ago
viridis-research/eco-lean-benchOrganizations
models 25
jdhart81/joblib-compressed-modelscan-bypass-poc
Updated
jdhart81/onnx-cwe190-overflow-poc
Updated
jdhart81/keras-vds-cve-2026-1669-bypass
Updated
jdhart81/tensorrt-onnx-parser-sigsegv-poc
Updated
jdhart81/llamafile-poc-llf002
Updated • 5
jdhart81/llamafile-poc-llf003-004
8 • Updated • 11
jdhart81/llamafile-poc-llf001
Updated
jdhart81/ctranslate2-poc
Updated
jdhart81/onnx-poc
Updated
jdhart81/llamafile-poc
Updated • 6