DEV-MODE auth (username + password, local only) · GitHub live mode

Challenges Leaderboard Safety

Sign in Create account

Sign in

Welcome back.

Username or email

Password

Forgot password?Create account

Leanforces — verified Lean theorem challenges.

What are Seeds?Economy Legal boundaries Security model Architecture

Seeds are an internal reputation point. Seeds are NOT money, NOT cryptocurrency, NOT a token, NOT a security, NOT an asset, and NOT an investment. Seeds cannot be bought with money, sold for money, redeemed for money, exchanged for money or any other thing of monetary value, withdrawn, gifted, traded between users, or transferred off the platform. Leanforces does not operate a wallet, custodial account, token, investment scheme, mining, staking, or cash-out system, and is not a payment service, broker, or financial institution. Automated checking only verifies that the submitted Lean proof body type-checks in the fixed challenge environment; it does not certify mathematical importance, originality, or suitability for publication.