Self-hosted alternatives to lean4-contribute
No self-hosted apps like lean4-contribute yet.
About lean4-contribute
L
lean4-contribute
Draft and submit bug reports, feature requests, and insights as GitHub issues
Draft and submit bug reports, feature requests, and insights as GitHub issues. Commands may share Lean code snippets with GitHub — review every draft
- Price
- Free
- Made by
- cameronfreer
- Category
- AI Skills
- Website
- github.com/cameronfreer/lean4-skills/lean4-contribute