LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

kimina-lean-server

Kimina Lean server (+ client SDK)

PythonEmerging

Stars

—

Forks

—

Contributors

8

Last push

4mo ago

Recent commits

Latest commits.

Fix uvloop TypeError and allow ELAN_HOME override
6e40b5bRohit Agarwal4mo ago
feat: switch default to v4.26.0 (#71)
fb2393dHugues de Saxcé5mo ago
Adjust the default memory in the .env.template (#69)
954991aRan5mo ago
fix: remove automatic gcp deployment (#70)
d3d13a4Hugues de Saxcé5mo ago
fix: uncomment infotree (#67)
7ea5cb2Hugues de Saxcé7mo ago

fix: uncomment infotree

a310745Hugues de Saxcé7mo ago

fix: typing extensiosn (#63)

285f142Hugues de Saxcé7mo ago

[kimina-lean-server] Fix Lean snippet diagnostics line offsets (#56)

e2cdc1fHugues de Saxcé8mo ago

Top contributors

Builders behind this project.

marco-dossantos

RicardoDominguez