Seeds are not money.

Leanforces issues Seeds as an internal record of contribution to the site (accepted proofs, authored challenges, claimed bounties). Seeds are a non-monetary reputation point system, modelled loosely on Yahoo! Chiebukuro's “Chie Coins”.

What Seeds are not

• Seeds are not money and have no monetary value.
• Seeds are not cryptocurrency, not a token, not coins, not stablecoins, not NFTs.
• Seeds are not a security, not equity, not a share, not a bond, not a derivative.
• Seeds are not an asset and not an investment. Holding Seeds gives you no claim on Leanforces, its operator, or any third party.
• Seeds are not redeemable for cash, goods, services, gift cards, vouchers, points in another program, or anything else of monetary value.

What you cannot do with Seeds

• You cannot buy Seeds with money.
• You cannot sell Seeds for money.
• You cannot gift, send, or transfer Seeds to another user. The platform has no transfer primitive at the database or API layer.
• You cannot withdraw Seeds off the platform.
• You cannot exchange Seeds for goods, services, gift cards, or any other in-app or third-party item.
• You cannot cash out via any direct, indirect, partner, or future mechanism.

What the platform is not

Leanforces does not operate a wallet, custodial account, broker, exchange, payment service, marketplace, token, ICO, airdrop, mining system, staking system, cash-out system, ad-revenue sharing, affiliate-link sharing tied to Seeds, or any mechanism that would convert Seeds into money or money into Seeds, directly or indirectly, now or in the future. Leanforces is not a financial institution and provides no financial services.

What the automated check actually verifies

The judge runs lake build against the submitted Lean module in a fixed Mathlib environment. A submission is accepted iff the build succeeds with conclusion = success on the recorded commit SHA. This does notcertify mathematical importance, originality, peer-review status, or suitability for publication. It only certifies type-correctness of the submitted proof under the configured axiom whitelist.

See also: Seeds — what they are and aren't · How the Seeds economy works.