pi-lean-ctx 1.0.6 → 1.0.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -234,7 +234,7 @@ function splitFooter(text: string) {
234
234
 
235
235
  async function execLeanCtx(pi: ExtensionAPI, args: string[]) {
236
236
  const bin = resolveBinary();
237
- const result = await pi.exec(bin, args, {});
237
+ const result = await pi.exec(bin, args, { env: { LEAN_CTX_COMPRESS: "1" } });
238
238
  if (result.code !== 0) {
239
239
  const msg = (result.stderr || result.stdout || `lean-ctx failed: ${args.join(" ")}`).trim();
240
240
  throw new Error(msg);
@@ -249,7 +249,7 @@ export default function (pi: ExtensionAPI) {
249
249
  return {
250
250
  command: `${shellQuote(bin)} -c sh -lc ${shellQuote(command)}`,
251
251
  cwd,
252
- env: { ...env },
252
+ env: { ...env, LEAN_CTX_COMPRESS: "1" },
253
253
  };
254
254
  },
255
255
  });
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pi-lean-ctx",
3
- "version": "1.0.6",
3
+ "version": "1.0.8",
4
4
  "description": "Pi Coding Agent extension that routes bash, read, grep, find, and ls through lean-ctx for 60-90% token savings",
5
5
  "keywords": ["pi-package", "lean-ctx", "token-optimization", "compression"],
6
6
  "license": "MIT",