Search results

FastMCP constructor's arguments are invalid

Status: Open.

#31 In justincasher/lean-explore;

· KellyJDavis opened on Nov 1, 2025

Command <code>leanexplore data fetch</code> fails to connect to the server

Status: Open.

#9 In justincasher/lean-explore;

· jonathan-laurent opened on Sep 4, 2025

issue with fastmcp version

Status: Open.

#8 In justincasher/lean-explore;

· alok opened on Aug 6, 2025

Release the LeanExplore Database on Hugging Face

Status: Open.

#7 In justincasher/lean-explore;

· NielsRogge opened on Jun 16, 2025

feat: Do Not Require API Key for leanexplore mcp serve

Status: Open.

#3 In justincasher/lean-explore;

· justincasher opened on May 26, 2025