Skip to content
Kitbay
Submit
MCP server

lean-ctx-bin

Apache-2.0Updated on Nov 10, 20263,941GitHub stars

lean-ctx-bin is an MCP server for general use.

What it does

We haven't written a summary for this listing yet. The facts below come from its repository and package data.

Capabilities

Not stated in its documentation