Skip to content
store
L

lean4-contribute

Draft and submit bug reports, feature requests, and insights as GitHub issues

by cameronfreerFree

Launch
#10407in AI Skills
0In stores

Description

Draft and submit bug reports, feature requests, and insights as GitHub issues. Commands may share Lean code snippets with GitHub — review ev…

Information

Ratings & Reviews

No ratings yet

Be the first to rate lean4-contribute.

People also visit

C

content-research-writer

Assists in writing high-quality content by conducting research

AI Skills
Launch
B

brand-guidelines

Applies Anthropic's official brand colors and typography

AI Skills
Launch
C

canvas-design

Create beautiful visual art in .png and .pdf documents using design philosophy

AI Skills
Launch
C

changelog-generator

Automatically creates user-facing changelogs from git commits

AI Skills
Launch
C

competitive-ads-extractor

Extracts and analyzes competitors' ads from ad libraries

AI Skills
Launch
C

connect

Connect Claude to any app

AI Skills
Launch
See all lean4-contribute alternatives

lean4-contribute FAQ

What is lean4-contribute?

Draft and submit bug reports, feature requests, and insights as GitHub issues. Commands may share Lean code snippets with GitHub — review every draft

Is lean4-contribute free?

Yes. lean4-contribute is free to use.

Do I need to download lean4-contribute?

No. lean4-contribute runs in your browser at github.com, so there's nothing to install.

Who makes lean4-contribute?

lean4-contribute is made by cameronfreer.

What are the best lean4-contribute alternatives?

Popular alternatives to lean4-contribute include content-research-writer, brand-guidelines and canvas-design. See all lean4-contribute alternatives

Developer Stuff

Badges