claude

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 before confirming.

486 on GitHubby Cameron Freerv0.1.0MITupdated 5 days ago
/

Plugin lean4-contribute from marketplace lean4-skills in cameronfreer/lean4-skills. Commands read from the repo's manifest — 5 days ago.

What it installs

Slash commands (3)

  • /lean4-contribute:bug-report

    Draft a bug report issue for lean4-skills

  • /lean4-contribute:feature-request

    Draft a feature request issue for lean4-skills

  • /lean4-contribute:share-insight

    Draft a shareable insight from your session as a GitHub issue

View source on GitHub

More from cameronfreer/lean4-skills

All 2 plugins →

lean4

claudecodex

Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback

1 skill · 12 commands · 4 agents · hooks

486

Maintain lean4-contribute?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins2 plugins