Claim listing
HAL128/leanrelay-demo
Portfolio showcase — AI-native mathematical knowledge-sharing platform (Lean 4 proof verification, MCP server, reward distribution)
Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.
Leave your email to claim this listing. GitHub verification coming soon.