Sign in
← Back to search

leanprover/lean4

Lean 4 programming language and theorem prover

Stars
8,088
Forks
851
Commits
40414
Language
Lean
Awesome lists
1

Similar repositories

yvgude/lean-ctx

Lean Cortex -- the cognitive context layer for agentic systems. 51+ MCP tools, 10 read modes, 95+ shell patterns. Up to 99% token savings. Works with Cursor, Claude Code, Copilot, Windsurf, Codex, Gemini.

2228 stars
Rust 3 awesome lists

langchain4j/langchain4j

LangChain4j is an idiomatic, open-source Java library for building LLM-powered applications on the JVM. It offers a unified API over popular LLM providers and vector stores, and makes implementing tool calling (including MCP support), agents and RAG easy. It integrates seamlessly with enterprise Java frameworks like Quarkus and Spring Boot.

12118 stars
Java 3 awesome lists

overleaf/overleaf

A web-based collaborative LaTeX editor

17739 stars
JavaScript 2 awesome lists

j178/leetgo

Best LeetCode friend for geek. :snowboarder:

687 stars
Go 1 awesome list

nomic-ai/gpt4all

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

77353 stars
C++ 2 awesome lists

Tracked growth

1 capture since 2026-05-25

Latest capture 2026-05-25 20:57

Stars history

Total stars

Commits history

Default branch commits

Metadata

  • Created: 2018-04-15
  • First commit: —
  • Last pushed: 2026-05-25
  • Website: https://lean-lang.org
  • Archived: no
  • Stack detected: —
  • License: Apache-2.0

AI development signals

AI agent config detected

14 config paths 8 files 6 directories
Agent instructions Claude Code 13

Key config paths

  • dir .claude
  • file AGENTS.md
Review config paths
  • Claude Code .claude
  • Claude Code .claude/CLAUDE.md
  • Claude Code .claude/commands
  • Claude Code .claude/commands/release.md
  • Claude Code .claude/settings.json
  • Claude Code .claude/skills
  • Claude Code .claude/skills/profiling
  • Claude Code .claude/skills/profiling/SKILL.md
  • Claude Code .claude/skills/release-highlights
  • Claude Code .claude/skills/release-highlights/SKILL.md
  • Claude Code .claude/skills/zulip-extract
  • Claude Code .claude/skills/zulip-extract/SKILL.md
  • Claude Code .claude/skills/zulip-extract/zulip_thread_extract.py
  • Agent instructions AGENTS.md

Appears in