Haru
@hal128
Quant Research & Trading | GIS × Spatial Data | CS & Math at Columbia University
Columbia University New York, NY On GitHub since August 2024
1
Published Tools
1
Total Stars
0
Weekly Downloads
1
GitHub Followers
12
Public Repos
100/100
Avg Security
Published Tools
1 MCP Serveracross 1 categoryHAL128
A
Portfolio showcase — AI-native mathematical knowledge-sharing platform (Lean 4 proof verification, MCP server, reward distribution)
...moreMCP Serveruncategorised
11 dir