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

Challenges Leaderboard Safety

Sign in Create account

Create account

Plant a username.

Username

Email

We'll send a verification link before your account is active.

Password

At least 10 chars; mix of three of: lower-case, upper-case, digit, symbol.

Already have an account? Sign in

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.