How to Contribute
Coming Soon
This page is under construction. Check back soon for the complete contribution guide.
Quick Links
- Report Issues: GitHub Issues
- Discussions: GitHub Discussions
- Source Code: GitHub Repository
Ways to Contribute
- Write Contracts - Add behavioral contracts for new packages
- Improve Analyzer - Enhance the verify-cli tool
- Add Documentation - Help expand these docs
- Report Bugs - Found an issue? Let us know
- Share Feedback - Tell us how to improve
Getting Started
More detailed instructions coming soon. For now, please:
- Check existing GitHub Issues
- Join the discussion
- Fork the repository
- Submit pull requests
Thank you for your interest in contributing!