leanprover/lean4-cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

GitHub repository with 110 stars and 25 forks.

Language: Lean

Topics: cli, lean, lean4

Open provider repository

24h trend summary

Trending score 0.10, freshness score 1.00, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-15: 110 stars and 25 forks.

Trending topic: cli

  1. 1. can1357/oh-my-pi

    ⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

    GitHub repository with 12,580 stars and 1,066 forks.

    Trending score: 4.87; stars gained: +311; forks gained: +30.

    Language: TypeScript

    Topics: ai-agent, ai-coding-agent, anthropic, bun, claude, cli

  2. 2. IvanWng97/pixtuoid

    Terminal pixel-art office for AI coding agents

    GitHub repository with 282 stars and 15 forks.

    Trending score: 1.49; stars gained: +1; forks gained: +1.

    Language: Rust

    Topics: ai-agents, claude, claude-code, cli, codex, pixel-art

  3. 3. seochecks-ai/slopless

    Deterministic textlint rules and CLI for catching prose slop in English Markdown.

    GitHub repository with 314 stars and 31 forks.

    Trending score: 0.24; stars gained: +0; forks gained: +1.

    Language: TypeScript

    Topics: ai, cli, lint, linter, llm, markdown

  4. 4. clefspear/starcommand

    Generative rocket greeting for a bash, zsh, fish, and PowerShell — every new terminal spawns a unique, deterministic artwork

    GitHub repository with 40 stars and 1 forks.

    Trending score: 0.45; stars gained: +1; forks gained: +0.

    Language: Shell

    Topics: bash, cli, dotfiles, embedded-systems, fish-shell, generative-art

  5. 5. rivernova/hosomaki

    Hosomaki, the intelligence layer for Linux

    GitHub repository with 16 stars and 4 forks.

    Trending score: 0.20; stars gained: +0; forks gained: +0.

    Language: Go

    Topics: ai, anthropic, cli, go, golang, linux

  6. 6. Rfluid/aura

    Agent Usage Reporter & Analyzer

    GitHub repository with 15 stars and 1 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: ai, ai-agents, ai-usage, ai-usage-analytics, cli, gpui