Skip to content

Prepare public MCP directory submission and 1.3.0 release - #84

Merged
justincasher merged 2 commits into
mainfrom
codex/mcp-submission-annotations
Aug 2, 2026
Merged

Prepare public MCP directory submission and 1.3.0 release#84
justincasher merged 2 commits into
mainfrom
codex/mcp-submission-annotations

Prepare lean-explore 1.3.0 release

5867478
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
lint
succeeded Aug 2, 2026 in 1m 37s