We are excited to introduce Jimy - the agentic AI to build better software. Jimy integrates seamlessly across the entire software lifecycle and enables engineering teams to focus on delivering features rather than paying down technical debt
Feb 18, 2025
Combines generative AI with SAT-solving to find fixes to runtime errors caused by incompatible dependencies. Dependency management is extremely tricky to get right, as programmers need to make sure their dependency version constraints are neither too broad nor too narrow. Compounding this, if there is just one package in your whole dependency tree that has a defective constraint, then you may end up with a solution which causes bugs at runtime. To address this problem, we’ve built automated dependency repair tooling, starting with the Python/Pip ecosystem. Building on our previous work (MaxNPM), we integrate constraint solving with large language models’ suggestions for patching constraints, to iteratively narrow the search space and find a repaired dependency solution.
Apr 1, 2024
A fork of NPM which which utilizes SAT-solving to find optimal dependencies, so it can minimize download size, minimize security risk, and more.
Aug 24, 2023