Seasawher/mathlib4-help

List of the output of #help command of mathlib4, including list of all tactics, commands...etc

GitHub repository with 27 stars and 2 forks.

Language: Python

Topics: lean, lean4, reference

Open provider repository

Latest metric snapshot

2026-06-05: 27 stars and 2 forks.

Trending in Python

  1. 1. NousResearch/hermes-agent

    The agent that grows with you

    GitHub repository with 181,384 stars and 31,127 forks.

    Trending score: 5.95; stars gained: +1,867; forks gained: +361.

    Language: Python

    Topics: ai, ai-agent, ai-agents, anthropic, chatgpt, claude

  2. 2. chopratejas/headroom

    Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 60-95% fewer tokens, same answers. Library, proxy, MCP server.

    GitHub repository with 12,942 stars and 833 forks.

    Trending score: 5.69; stars gained: +2,829; forks gained: +175.

    Language: Python

    Topics: agent, ai, anthropic, claude-code, compression, context-engineering

  3. 3. Imbad0202/academic-research-skills

    Academic Research Skills for Claude Code: research → write → review → revise → finalize

    GitHub repository with 27,327 stars and 2,249 forks.

    Trending score: 5.52; stars gained: +1,079; forks gained: +89.

    Language: Python

    Topics: academic-pipeline, academic-writing, ai-research, claude, claude-code, literature-review

  4. 4. anthropics/financial-services

    GitHub repository with 30,002 stars and 4,224 forks.

    Trending score: 4.88; stars gained: +688; forks gained: +114.

    Language: Python

  5. 5. virgiliojr94/book-to-skill

    Turn any technical book PDF into a Claude Code skill — ready to study, reference, and use while you work.

    GitHub repository with 4,221 stars and 528 forks.

    Trending score: 4.88; stars gained: +476; forks gained: +68.

    Language: Python

  6. 6. vinta/awesome-python

    An opinionated list of Python frameworks, libraries, tools, and resources

    GitHub repository with 301,341 stars and 28,044 forks.

    Trending score: 4.60; stars gained: +518; forks gained: +24.

    Language: Python

    Topics: awesome, python, collections, python-frameworks, python-libraries, python-tools

Trending topic: lean

  1. 1. Leantime/leantime

    Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

    GitHub repository with 9,985 stars and 981 forks.

    Trending score: 1.50; stars gained: +18; forks gained: +6.

    Language: PHP

    Topics: project-management, php, sql, kanban, gantt, timesheets

  2. 2. leanprover/lean4

    Lean 4 programming language and theorem prover

    GitHub repository with 8,170 stars and 867 forks.

    Trending score: 1.18; stars gained: +16; forks gained: +2.

    Language: Lean

    Topics: lean, lean4

  3. 3. jzshischolar/PyLeaner

    A Python interface to the Lean 4 kernel — designed for AI–Lean interactive automated theorem proving and related research. PyLeaner provides a production-ready bridge between Python and Lean's internals.

    GitHub repository with 14 stars and 0 forks.

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

    Language: Lean

    Topics: lean, lsp-client, theorem-proving

  4. 4. lean-ja/lean-by-example

    コード例で学ぶ Lean 言語

    GitHub repository with 168 stars and 14 forks.

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

    Language: Lean

    Topics: lean, lean4, mdbook, functional-programming, theorem-proving, reference

  5. 5. Verified-zkEVM/ArkLib

    Formally Verified Arguments of Knowledge in Lean

    GitHub repository with 295 stars and 68 forks.

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

    Language: Lean

    Topics: formal-verification, lean, lean4, snark, zero-knowledge, zk

  6. 6. hawkrobe/linglib

    A Lean 4 library for formal linguistics.

    GitHub repository with 10 stars and 0 forks.

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

    Language: Lean

    Topics: formal, lean, linguistics, mathlib