Commits

Branch selector

main

User selector

All users

Datepicker

All time

Commit history

Commits on Aug 19, 2026

• Release 0.30.0

  oOo0oOo

  committed
  bb176c5View commit details

  Copy full SHA for bb176c5

  Browse repository at this point

• Use leanclient stale import recovery

  oOo0oOo

  committed
  eaf4892View commit details

  Copy full SHA for eaf4892

  Browse repository at this point

• Simplify runtime and tool internals

  oOo0oOo

  committed
  8c8722fView commit details

  Copy full SHA for 8c8722f

  Browse repository at this point

• Merge pull request #219 from TATANKA97/fix/local-search-generated-declarations

  Show description for a7e4998
  oOo0oOo

  authored
  a7e4998View commit details

  Copy full SHA for a7e4998

  Browse repository at this point

• Use leanclient paths for indexed search

  Show description for 660ccfb
  oOo0oOo

  committed
  660ccfbView commit details

  Copy full SHA for 660ccfb

  Browse repository at this point

• Merge main into fix/local-search-generated-declarations

  oOo0oOo

  committed
  237980bView commit details

  Copy full SHA for 237980b

  Browse repository at this point

• Merge pull request #217 from deancureton/mcp-sdk-v2

  Show description for e10b71c
  oOo0oOo

  authored
  e10b71cView commit details

  Copy full SHA for e10b71c

  Browse repository at this point

• Merge pull request #221 from TATANKA97/fix/profile-line-binding

  Show description for cdf6a04
  oOo0oOo

  authored
  cdf6a04View commit details

  Copy full SHA for cdf6a04

  Browse repository at this point

• Merge pull request #218 from MohammedAlkindi/fix/windows-profile-process-cleanup

  Show description for 8da29c6
  oOo0oOo

  authored
  8da29c6View commit details

  Copy full SHA for 8da29c6

  Browse repository at this point

Commits on Aug 16, 2026

• Bind profile lines back to their source

  Show description for e384f0d
  TATANKA97

  committed
  e384f0dView commit details

  Copy full SHA for e384f0d

  Browse repository at this point

Commits on Aug 14, 2026

• Find attribute-generated declarations in lean_local_search

  Show description for c51bb64
  TATANKA97

  committed
  c51bb64View commit details

  Copy full SHA for c51bb64

  Browse repository at this point

• fix: stop lean_profile_proof cleanup crashing on Windows

  Show description for a55bbf8
  MohammedAlkindi

  committed
  a55bbf8View commit details

  Copy full SHA for a55bbf8

  Browse repository at this point

Commits on Aug 9, 2026

• Advertise package version in serverInfo

  Show description for 608c6f1
  deancureton

  committed
  608c6f1View commit details

  Copy full SHA for 608c6f1

  Browse repository at this point

• Type the lifespan context as AppContext

  Show description for 2b10481
  deancureton

  committed
  2b10481View commit details

  Copy full SHA for 2b10481

  Browse repository at this point

• Rename wire-type attributes to snake_case

  Show description for 8b6c801
  deancureton

  committed
  8b6c801View commit details

  Copy full SHA for 8b6c801

  Browse repository at this point

• Migrate to MCP Python SDK v2

  Show description for a514bfc
  deancureton

  committed
  a514bfcView commit details

  Copy full SHA for a514bfc

  Browse repository at this point

Commits on Jul 30, 2026

• Default to one scratch worker

  Show description for 2be04fc
  oOo0oOo

  committed
  2be04fcView commit details

  Copy full SHA for 2be04fc

  Browse repository at this point

Commits on Jul 28, 2026

• Release 0.29.0

  oOo0oOo

  committed
  f28c3aeView commit details

  Copy full SHA for f28c3ae

  Browse repository at this point

• Bump dependencies

  oOo0oOo

  committed
  fde66d6View commit details

  Copy full SHA for fde66d6

  Browse repository at this point

• Simplify local Loogle with native Lake integration

  oOo0oOo

  committed
  83c3778View commit details

  Copy full SHA for 83c3778

  Browse repository at this point

• Format REPL fast-path changes

  oOo0oOo

  committed
  b1b5117View commit details

  Copy full SHA for b1b5117

  Browse repository at this point

• Reuse serial scratch pool across local tools

  oOo0oOo

  committed
  3895b24View commit details

  Copy full SHA for 3895b24

  Browse repository at this point

• Fix REPL run code fast path

  oOo0oOo

  committed
  bf51a6fView commit details

  Copy full SHA for bf51a6f

  Browse repository at this point

Commits on Jul 17, 2026

• Release 0.28.1

  oOo0oOo

  committed
  15766feView commit details

  Copy full SHA for 15766fe

  Browse repository at this point

• Fix lean_local_search declaration parsing for modifiers/attributes

  Show description for dbe11b2
  oOo0oOo

  committed
  dbe11b2View commit details

  Copy full SHA for dbe11b2

  Browse repository at this point

• Flatten lean_diagnostic_messages severity schema for Moonshot/Kimi

  Show description for f25fa03
  oOo0oOo

  committed
  f25fa03View commit details

  Copy full SHA for f25fa03

  Browse repository at this point

• Bump leanclient to 0.12.1 (Windows/UTF-8 source fix)

  Show description for 7bf7a7f
  

  EvilMemory

  authored and

  oOo0oOo

  committed
  7bf7a7fView commit details

  Copy full SHA for 7bf7a7f

  Browse repository at this point

Commits on Jul 6, 2026

• Release 0.28.0

  oOo0oOo

  committed
  83b0286View commit details

  Copy full SHA for 83b0286

  Browse repository at this point

• bump dependencies

  oOo0oOo

  committed
  c11fe88View commit details

  Copy full SHA for c11fe88

  Browse repository at this point

• Fix lint and type checks

  oOo0oOo

  committed
  b0ea325View commit details

  Copy full SHA for b0ea325

  Browse repository at this point

• Improve prewarm and slow-file handling

  oOo0oOo

  committed
  b319106View commit details

  Copy full SHA for b319106

  Browse repository at this point

• Support Lean 4.30 diagnostics and completions

  oOo0oOo

  committed
  70a7efcView commit details

  Copy full SHA for 70a7efc

  Browse repository at this point

• Fix Loogle and profile edge cases

  oOo0oOo

  committed
  6ec85ebView commit details

  Copy full SHA for 6ec85eb

  Browse repository at this point

• Fix async MCP regressions

  oOo0oOo

  committed
  9268761View commit details

  Copy full SHA for 9268761

  Browse repository at this point

• Add manual MCP driver harness

  oOo0oOo

  committed
  1f4c423View commit details

  Copy full SHA for 1f4c423

  Browse repository at this point