Unverified Commit bfd39849 authored by Jörg Thalheim's avatar Jörg Thalheim Committed by GitHub
Browse files

lean-lsp-mcp: init at 0.26.1; python3Packages.leanclient: init at 0.9.4 (#510225)

parents c93a6d2f c4871959

maintainers/maintainer-list.nix

+6 −0
Original line number Diff line number Diff line
@@ -22889,6 +22889,12 @@ 
    githubId = 4196789;

    name = "Nathan Ringo";

  };

  remix7531 = {

    email = "remix7531@mailbox.org";

    github = "remix7531";

    githubId = 131352678;

    name = "remix7531";

  };

  remko = {

    github = "remko";

    githubId = 12300;

pkgs/by-name/le/lean-lsp-mcp/package.nix

0 → 100644
+47 −0
Original line number Diff line number Diff line 
{

  lib,

  python3Packages,

  fetchFromGitHub,

}:



python3Packages.buildPythonApplication (finalAttrs: {

  pname = "lean-lsp-mcp";

  version = "0.26.1";

  pyproject = true;



  __structuredAttrs = true;



  src = fetchFromGitHub {

    owner = "oOo0oOo";

    repo = "lean-lsp-mcp";

    tag = "v${finalAttrs.version}";

    hash = "sha256-OHbD6HujkXsqe8XpNr1bn+Pel2tbkX7tBapCcUe234o=";

  };



  build-system = with python3Packages; [ setuptools ];



  dependencies = with python3Packages; [

    leanclient

    mcp

    orjson

    certifi

  ];



  pythonRelaxDeps = [

    "mcp"

    "leanclient"

  ];



  # Tests require a real Lean toolchain

  doCheck = false;



  pythonImportsCheck = [ "lean_lsp_mcp" ];



  meta = {

    description = "MCP server for the Lean theorem prover via the Lean LSP";

    homepage = "https://github.com/oOo0oOo/lean-lsp-mcp";

    license = lib.licenses.mit;

    maintainers = with lib.maintainers; [ remix7531 ];

    mainProgram = "lean-lsp-mcp";

  };

})

pkgs/development/python-modules/leanclient/default.nix

0 → 100644
+46 −0
Original line number Diff line number Diff line 
{

  lib,

  buildPythonPackage,

  fetchFromGitHub,



  # build-system

  hatchling,



  # dependencies

  orjson,

  psutil,

  tqdm,

}:



buildPythonPackage (finalAttrs: {

  pname = "leanclient";

  version = "0.9.4";

  pyproject = true;



  src = fetchFromGitHub {

    owner = "oOo0oOo";

    repo = "leanclient";

    tag = "v${finalAttrs.version}";

    hash = "sha256-BmIvjFhhlXnyDZWNUZAq41TA+Q5v9UW63rljoeYl44Q=";

  };



  build-system = [ hatchling ];



  dependencies = [

    orjson

    psutil

    tqdm

  ];



  # Tests require a real Lean toolchain

  doCheck = false;



  pythonImportsCheck = [ "leanclient" ];



  meta = {

    description = "Python client for the Lean theorem prover LSP";

    homepage = "https://github.com/oOo0oOo/leanclient";

    license = lib.licenses.mit;

    maintainers = with lib.maintainers; [ remix7531 ];

  };

})

pkgs/top-level/python-packages.nix

+2 −0
Original line number Diff line number Diff line
@@ -8587,6 +8587,8 @@ self: super: with self; { 














  leanblueprint = callPackage ../development/python-modules/leanblueprint { };



























  leanclient = callPackage ../development/python-modules/leanclient { };



























  leaone-ble = callPackage ../development/python-modules/leaone-ble { };





























  leather = callPackage ../development/python-modules/leather { };