CONTRIBUTE

Join us in building the future of mathematical interaction

Points System in Demo

Every contribution matters. Whether you code, create content, report issues, or spread the word — you help shape Astrolabe.

Ways to Contribute

○

Users

10-100 AST

Active users who regularly use Astrolabe for their Lean 4 projects.

•Use Astrolabe in your daily workflow

•Share your usage statistics (opt-in)

•Reach usage milestones

△

Reporters

20-200 AST

Community members who help improve Astrolabe by reporting bugs and suggesting features.

•Report bugs with clear reproduction steps

•Suggest new features or improvements

•Provide detailed feedback on UX issues

◇

Promoters

50-500 AST

Advocates who spread the word about Astrolabe in the community.

•Share Astrolabe on social media (Twitter/X, etc.)

•Write blog posts or articles about Astrolabe

•Present Astrolabe at meetups or conferences

□

Coders

100-1000 AST

Developers who contribute code to the Astrolabe codebase.

•Submit pull requests that get merged

•Fix bugs or implement new features

•Improve code quality or performance

◎

Reviewers

50-300 AST

Contributors who help maintain code quality through thoughtful reviews.

•Review pull requests thoroughly

•Provide constructive feedback

•Help new contributors improve their PRs

⬡

Organizers

200-1000 AST

Community leaders who organize events and bring people together.

•Organize workshops or study groups

•Host online events or webinars

•Coordinate community initiatives

✦

Creators

100-500 AST

Content creators who produce educational materials about Astrolabe.

•Create video tutorials

•Write documentation or guides

•Build example projects or demos

∴

Provers

100-1000 AST

Mathematicians who contribute formal proofs to the OpenMath initiative.

•Submit formal proofs to OpenMath

•Verify and validate existing proofs

•Contribute to proof libraries

Submit Your Contribution

Tell us about your contribution and we'll review it for ASTRO points.

What do you get for contributing?

ASTRO Points unlock exclusive benefits — from early access and governance voting to advisory roles and custom support.

View Benefits