Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
See all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
lean-explore
lean-explore
Repository navigation
Code
Issues
1
(1)
Pull requests
Discussions
Actions
Projects
Security and quality
Insights
More
items
Commits
Branch selector
main
User selector
All users
Datepicker
All time
Commit history
Commits on Sep 29, 2026
Refactor modules and improve test coverage (#87)
justincasher
authored
17b9d6c
View commit details
Copy full SHA for 17b9d6c
Browse repository at this point
Commits on Aug 2, 2026
Add titles to public MCP tools (#85)
justincasher
authored
6b25f86
View commit details
Copy full SHA for 6b25f86
Browse repository at this point
Prepare public MCP directory submission and 1.3.0 release (#84)
justincasher
authored
28eac03
View commit details
Copy full SHA for 28eac03
Browse repository at this point
Deprecate verbose MCP search tool (#83)
justincasher
authored
b86819c
View commit details
Copy full SHA for b86819c
Browse repository at this point
Remove API key requirements and add public MCP plugin (#82)
justincasher
authored
27e2377
View commit details
Copy full SHA for 27e2377
Browse repository at this point
Commits on May 7, 2026
Bump PhysLean extractor to v4.29.1 (#81)
justincasher
authored
3a52d6b
View commit details
Copy full SHA for 3a52d6b
Browse repository at this point
Commits on Apr 20, 2026
Support doc-gen4 SQLite database format in extractor (#80)
justincasher
authored
9da7566
View commit details
Copy full SHA for 9da7566
Browse repository at this point
Commits on Apr 19, 2026
Add user-facing documentation (#78)
justincasher
authored
449c820
View commit details
Copy full SHA for 449c820
Browse repository at this point
Bump extractor workspaces for doc-gen4 SQLite support (#79)
justincasher
authored
58d8439
View commit details
Copy full SHA for 58d8439
Browse repository at this point
Commits on Apr 13, 2026
Make embedding and reranker batch sizes tunable via env vars (#77)
justincasher
authored
b5dc202
View commit details
Copy full SHA for b5dc202
Browse repository at this point
Commits on Apr 4, 2026
Enforce Python style guidelines (#76)
justincasher
authored
6ff652e
View commit details
Copy full SHA for 6ff652e
Browse repository at this point
Commits on Mar 9, 2026
fix: switch TypedDict import to typing_extensions for py3.11- compatibility (#74)
zeyu-zheng
authored
0cc1bd8
View commit details
Copy full SHA for 0cc1bd8
Browse repository at this point
Commits on Feb 10, 2026
Reduce embedding batch size to 8 for tight GPU memory environments (#72)
justincasher
authored
88eaa21
View commit details
Copy full SHA for 88eaa21
Browse repository at this point
Skip incomplete extraction directories when resolving active data path (#71)
Show description for 71ced15
justincasher
authored
71ced15
View commit details
Copy full SHA for 71ced15
Browse repository at this point
Reduce embedding encode batch size to prevent GPU OOM (#70)
Show description for 32556bf
justincasher
authored
32556bf
View commit details
Copy full SHA for 32556bf
Browse repository at this point
Merge pull request #69 from justincasher/reduce-informalize-concurrency
Show description for b48d733
justincasher
authored
b48d733
View commit details
Copy full SHA for b48d733
Browse repository at this point
Reduce default informalize concurrency from 100 to 10
Show description for 95c9c3e
justincasher
committed
95c9c3e
View commit details
Copy full SHA for 95c9c3e
Browse repository at this point
Commits on Feb 9, 2026
Reapply "Add remote embedding client for co-located backend reuse"
Show description for 8b8a96d
justincasher
committed
8b8a96d
View commit details
Copy full SHA for 8b8a96d
Browse repository at this point
Revert "Add remote embedding client for co-located backend reuse"
Show description for 3f95d60
justincasher
committed
3f95d60
View commit details
Copy full SHA for 3f95d60
Browse repository at this point
Add remote embedding client for co-located backend reuse
Show description for c935f09
justincasher
committed
c935f09
View commit details
Copy full SHA for c935f09
Browse repository at this point
Commits on Feb 4, 2026
Merge pull request #68 from justincasher/document-local-install-deps
Show description for ac124ce
justincasher
authored
ac124ce
View commit details
Copy full SHA for ac124ce
Browse repository at this point
Add [local] optional dependency group and document installation
Show description for cbc9f43
justincasher
committed
cbc9f43
View commit details
Copy full SHA for cbc9f43
Browse repository at this point
Commits on Jan 31, 2026
Merge pull request #66 from justincasher/improve-mcp-tool-docstrings
Show description for 72649d9
justincasher
authored
72649d9
View commit details
Copy full SHA for 72649d9
Browse repository at this point
Bump version to 1.2.0
justincasher
committed
45aab1d
View commit details
Copy full SHA for 45aab1d
Browse repository at this point
Replace get_by_id with per-field MCP tools and improve docstrings
Show description for 850dfde
justincasher
committed
850dfde
View commit details
Copy full SHA for 850dfde
Browse repository at this point
Add retry logic to lake update for transient network failures
Show description for 5d9bd53
justincasher
and
claude
committed
5d9bd53
View commit details
Copy full SHA for 5d9bd53
Browse repository at this point
Commits on Jan 30, 2026
Revert "Fix --run-doc-gen4 suppressing default pipeline steps"
Show description for 9063c8e
justincasher
committed
9063c8e
View commit details
Copy full SHA for 9063c8e
Browse repository at this point
Fix --run-doc-gen4 suppressing default pipeline steps
Show description for 55a7042
justincasher
and
claude
committed
55a7042
View commit details
Copy full SHA for 55a7042
Browse repository at this point
Merge pull request #65 from justincasher/track-lean-workspaces
Show description for 74693cf
justincasher
authored
74693cf
View commit details
Copy full SHA for 74693cf
Browse repository at this point
Track Lean package workspaces in version control
Show description for b192aee
justincasher
committed
b192aee
View commit details
Copy full SHA for b192aee
Browse repository at this point
Commits on Jan 29, 2026
Version 1.1.1
Show description for e7b41b5
justincasher
and
claude
committed
e7b41b5
View commit details
Copy full SHA for e7b41b5
Browse repository at this point
Version 1.1.0
justincasher
committed
4ebcc01
View commit details
Copy full SHA for 4ebcc01
Browse repository at this point
Merge pull request #64 from justincasher/mcp-slim-search
Show description for f5ac035
justincasher
authored
f5ac035
View commit details
Copy full SHA for f5ac035
Browse repository at this point
Add slim search MCP tool to reduce token usage
Show description for 2cbfc0d
justincasher
committed
2cbfc0d
View commit details
Copy full SHA for 2cbfc0d
Browse repository at this point
Version 1.0.2
Show description for c78eef9
justincasher
and
claude
committed
c78eef9
View commit details
Copy full SHA for c78eef9
Browse repository at this point
Previous
Next
You can’t perform that action at this time.