chiasmus 0.1.9 → 0.1.10

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.
package/README.md CHANGED
@@ -214,7 +214,7 @@ Add tree-sitter support for any language by publishing an npm package named `chi
214
214
 
215
215
  ```ts
216
216
  // chiasmus-adapter-rust/index.ts
217
- import type { LanguageAdapter } from "chiasmus/adapter";
217
+ import type { LanguageAdapter } from "chiasmus/graph";
218
218
 
219
219
  const adapter: LanguageAdapter = {
220
220
  language: "rust",
@@ -272,6 +272,97 @@ export default {
272
272
 
273
273
  Built-in languages always take precedence over adapters with the same extensions.
274
274
 
275
+ ## Library Usage
276
+
277
+ Chiasmus can be used as a library in any Node.js project:
278
+
279
+ ```bash
280
+ npm install chiasmus
281
+ ```
282
+
283
+ ### Quick Start
284
+
285
+ ```ts
286
+ import { SolverSession, lintSpec, SkillLibrary, FormalizationEngine } from "chiasmus";
287
+ ```
288
+
289
+ Or import from specific subpaths:
290
+
291
+ ```ts
292
+ import { createZ3Solver, createPrologSolver } from "chiasmus/solvers";
293
+ import { extractGraph, runAnalysis } from "chiasmus/graph";
294
+ import { lintSpec, FormalizationEngine } from "chiasmus/formalize";
295
+ import { SkillLibrary, SkillLearner } from "chiasmus/skills";
296
+ import { createLLMFromEnv } from "chiasmus/llm";
297
+ ```
298
+
299
+ ### Solvers
300
+
301
+ ```ts
302
+ import { SolverSession } from "chiasmus/solvers";
303
+
304
+ const session = await SolverSession.create("z3");
305
+ try {
306
+ const result = await session.solve({
307
+ type: "z3",
308
+ smtlib: `(declare-const x Int) (assert (> x 5))`,
309
+ });
310
+ if (result.status === "sat") {
311
+ console.log("Satisfiable:", result.model);
312
+ }
313
+ } finally {
314
+ session.dispose();
315
+ }
316
+ ```
317
+
318
+ ### Graph Analysis
319
+
320
+ ```ts
321
+ import { extractGraph, runAnalysis } from "chiasmus/graph";
322
+
323
+ const result = await runAnalysis(
324
+ ["src/server.ts", "src/db.ts"],
325
+ { analysis: "dead-code" }
326
+ );
327
+ console.log(result.result);
328
+ ```
329
+
330
+ ### Lint & Validation
331
+
332
+ ```ts
333
+ import { lintSpec } from "chiasmus/formalize";
334
+
335
+ const { spec, fixes, errors } = lintSpec(rawSpec, "z3");
336
+ if (errors.length > 0) {
337
+ console.error("Lint errors:", errors);
338
+ }
339
+ ```
340
+
341
+ ### Skill Library
342
+
343
+ ```ts
344
+ import { SkillLibrary } from "chiasmus/skills";
345
+ import { join } from "node:path";
346
+ import { homedir } from "node:os";
347
+
348
+ const library = await SkillLibrary.create(join(homedir(), ".chiasmus"));
349
+ const results = library.search("access control policy conflict");
350
+ console.log(results);
351
+ library.close();
352
+ ```
353
+
354
+ ### Exports
355
+
356
+ | Subpath | Exports |
357
+ |---------|---------|
358
+ | `chiasmus` | All public APIs (barrel export) |
359
+ | `chiasmus/solvers` | `SolverSession`, `createZ3Solver`, `createPrologSolver`, `correctionLoop`, solver types |
360
+ | `chiasmus/graph` | `extractGraph`, `runAnalysis`, `runAnalysisFromGraph`, `parseMermaid`, `graphToProlog`, adapter registry, graph types |
361
+ | `chiasmus/formalize` | `lintSpec`, `classifyFeedback`, `extractPrologQuery`, `FormalizationEngine`, result types |
362
+ | `chiasmus/skills` | `SkillLibrary`, `SkillLearner`, `craftTemplate`, `validateTemplate`, skill types |
363
+ | `chiasmus/llm` | `createLLMFromEnv`, `AnthropicAdapter`, `OpenAICompatibleAdapter`, LLM types |
364
+ | `chiasmus/mcp` | `createChiasmusServer`, `getChiasmusHome` |
365
+
275
366
  ## Configuration
276
367
 
277
368
  | Variable | Default | Purpose |
@@ -0,0 +1,7 @@
1
+ export { lintSpec } from "./validate.js";
2
+ export type { LintResult } from "./validate.js";
3
+ export { classifyFeedback } from "./feedback.js";
4
+ export { extractPrologQuery } from "./prolog-input.js";
5
+ export { FormalizationEngine } from "./engine.js";
6
+ export type { FormalizeResult, SolveResult } from "./engine.js";
7
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/formalize/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC"}
@@ -0,0 +1,5 @@
1
+ export { lintSpec } from "./validate.js";
2
+ export { classifyFeedback } from "./feedback.js";
3
+ export { extractPrologQuery } from "./prolog-input.js";
4
+ export { FormalizationEngine } from "./engine.js";
5
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/formalize/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC"}
@@ -0,0 +1,8 @@
1
+ export { extractGraph } from "./extractor.js";
2
+ export { runAnalysis, runAnalysisFromGraph } from "./analyses.js";
3
+ export type { AnalysisType, AnalysisRequest, AnalysisResult } from "./analyses.js";
4
+ export { parseMermaid } from "./mermaid.js";
5
+ export { graphToProlog, escapeAtom, BUILTIN_RULES } from "./facts.js";
6
+ export { registerAdapter, getAdapter, getAdapterForExt, getAdapterExtensions, clearAdapters, discoverAdapters } from "./adapter-registry.js";
7
+ export type { CodeGraph, DefinesFact, CallsFact, ImportsFact, ExportsFact, ContainsFact, LanguageAdapter, SymbolKind } from "./types.js";
8
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAClE,YAAY,EAAE,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACnF,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC7I,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}
@@ -0,0 +1,6 @@
1
+ export { extractGraph } from "./extractor.js";
2
+ export { runAnalysis, runAnalysisFromGraph } from "./analyses.js";
3
+ export { parseMermaid } from "./mermaid.js";
4
+ export { graphToProlog, escapeAtom, BUILTIN_RULES } from "./facts.js";
5
+ export { registerAdapter, getAdapter, getAdapterForExt, getAdapterExtensions, clearAdapters, discoverAdapters } from "./adapter-registry.js";
6
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/graph/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAElE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC"}
@@ -0,0 +1,12 @@
1
+ export { createChiasmusServer, getChiasmusHome } from "./mcp-server.js";
2
+ export { SolverSession, createZ3Solver, createPrologSolver, correctionLoop } from "./solvers/index.js";
3
+ export type { SolverType, SolverResult, SolverInput, Solver, PrologAnswer, SpecFixer, CorrectionAttempt, CorrectionResult, CorrectionLoopOptions } from "./solvers/index.js";
4
+ export { extractGraph, runAnalysis, runAnalysisFromGraph, parseMermaid, graphToProlog, escapeAtom, BUILTIN_RULES, registerAdapter, getAdapter, getAdapterForExt, getAdapterExtensions, clearAdapters, discoverAdapters } from "./graph/index.js";
5
+ export type { CodeGraph, DefinesFact, CallsFact, ImportsFact, ExportsFact, ContainsFact, LanguageAdapter, SymbolKind, AnalysisType, AnalysisRequest, AnalysisResult } from "./graph/index.js";
6
+ export { lintSpec, classifyFeedback, extractPrologQuery, FormalizationEngine } from "./formalize/index.js";
7
+ export type { LintResult, FormalizeResult, SolveResult } from "./formalize/index.js";
8
+ export { SkillLibrary, SkillLearner, craftTemplate, validateTemplate } from "./skills/index.js";
9
+ export type { SearchOptions, CraftInput, CraftResult, SkillTemplate, SlotDef, Normalization, SkillMetadata, SkillWithMetadata, SkillSearchResult } from "./skills/index.js";
10
+ export { createLLMFromEnv, AnthropicAdapter, OpenAICompatibleAdapter } from "./llm/index.js";
11
+ export type { AnthropicConfig, OpenAICompatibleConfig, LLMAdapter, LLMMessage } from "./llm/index.js";
12
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAExE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACvG,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE7K,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,oBAAoB,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACjP,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,eAAe,EAAE,UAAU,EAAE,YAAY,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAE9L,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3G,YAAY,EAAE,UAAU,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAErF,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAChG,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE5K,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAC7F,YAAY,EAAE,eAAe,EAAE,sBAAsB,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC"}
package/dist/index.js ADDED
@@ -0,0 +1,7 @@
1
+ export { createChiasmusServer, getChiasmusHome } from "./mcp-server.js";
2
+ export { SolverSession, createZ3Solver, createPrologSolver, correctionLoop } from "./solvers/index.js";
3
+ export { extractGraph, runAnalysis, runAnalysisFromGraph, parseMermaid, graphToProlog, escapeAtom, BUILTIN_RULES, registerAdapter, getAdapter, getAdapterForExt, getAdapterExtensions, clearAdapters, discoverAdapters } from "./graph/index.js";
4
+ export { lintSpec, classifyFeedback, extractPrologQuery, FormalizationEngine } from "./formalize/index.js";
5
+ export { SkillLibrary, SkillLearner, craftTemplate, validateTemplate } from "./skills/index.js";
6
+ export { createLLMFromEnv, AnthropicAdapter, OpenAICompatibleAdapter } from "./llm/index.js";
7
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAExE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGvG,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,oBAAoB,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAGjP,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAG3G,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAGhG,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC"}
@@ -0,0 +1,6 @@
1
+ export { createLLMFromEnv, AnthropicAdapter } from "./anthropic.js";
2
+ export type { AnthropicConfig } from "./anthropic.js";
3
+ export { OpenAICompatibleAdapter } from "./openai-compatible.js";
4
+ export type { OpenAICompatibleConfig } from "./openai-compatible.js";
5
+ export type { LLMAdapter, LLMMessage } from "./types.js";
6
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/llm/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACpE,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,YAAY,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AACrE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}
@@ -0,0 +1,3 @@
1
+ export { createLLMFromEnv, AnthropicAdapter } from "./anthropic.js";
2
+ export { OpenAICompatibleAdapter } from "./openai-compatible.js";
3
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/llm/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC"}
@@ -0,0 +1,7 @@
1
+ export { SkillLibrary } from "./library.js";
2
+ export type { SearchOptions } from "./library.js";
3
+ export { SkillLearner } from "./learner.js";
4
+ export { craftTemplate, validateTemplate } from "./craft.js";
5
+ export type { CraftInput, CraftResult } from "./craft.js";
6
+ export type { SkillTemplate, SlotDef, Normalization, SkillMetadata, SkillWithMetadata, SkillSearchResult } from "./types.js";
7
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/skills/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC7D,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC1D,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC"}
@@ -0,0 +1,4 @@
1
+ export { SkillLibrary } from "./library.js";
2
+ export { SkillLearner } from "./learner.js";
3
+ export { craftTemplate, validateTemplate } from "./craft.js";
4
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/skills/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}
@@ -0,0 +1,7 @@
1
+ export { SolverSession } from "./session.js";
2
+ export { createZ3Solver } from "./z3-solver.js";
3
+ export { createPrologSolver } from "./prolog-solver.js";
4
+ export { correctionLoop } from "./correction-loop.js";
5
+ export type { SpecFixer, CorrectionAttempt, CorrectionResult, CorrectionLoopOptions } from "./correction-loop.js";
6
+ export type { SolverType, SolverResult, SolverInput, Solver, PrologAnswer } from "./types.js";
7
+ //# sourceMappingURL=index.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/solvers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,YAAY,EAAE,SAAS,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAClH,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC"}
@@ -0,0 +1,5 @@
1
+ export { SolverSession } from "./session.js";
2
+ export { createZ3Solver } from "./z3-solver.js";
3
+ export { createPrologSolver } from "./prolog-solver.js";
4
+ export { correctionLoop } from "./correction-loop.js";
5
+ //# sourceMappingURL=index.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/solvers/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC"}
package/package.json CHANGED
@@ -1,37 +1,41 @@
1
1
  {
2
2
  "name": "chiasmus",
3
- "version": "0.1.9",
3
+ "version": "0.1.10",
4
4
  "type": "module",
5
5
  "description": "Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and Tau Prolog",
6
- "main": "dist/mcp-server.js",
7
- "types": "dist/mcp-server.d.ts",
6
+ "main": "dist/index.js",
7
+ "types": "dist/index.d.ts",
8
8
  "bin": {
9
9
  "chiasmus": "dist/mcp-server.js"
10
10
  },
11
11
  "exports": {
12
12
  ".": {
13
+ "types": "./dist/index.d.ts",
14
+ "default": "./dist/index.js"
15
+ },
16
+ "./mcp": {
13
17
  "types": "./dist/mcp-server.d.ts",
14
18
  "default": "./dist/mcp-server.js"
15
19
  },
16
20
  "./solvers": {
17
- "types": "./dist/solvers/types.d.ts",
18
- "default": "./dist/solvers/types.js"
21
+ "types": "./dist/solvers/index.d.ts",
22
+ "default": "./dist/solvers/index.js"
19
23
  },
20
- "./skills": {
21
- "types": "./dist/skills/types.d.ts",
22
- "default": "./dist/skills/types.js"
24
+ "./graph": {
25
+ "types": "./dist/graph/index.d.ts",
26
+ "default": "./dist/graph/index.js"
23
27
  },
24
28
  "./formalize": {
25
- "types": "./dist/formalize/engine.d.ts",
26
- "default": "./dist/formalize/engine.js"
29
+ "types": "./dist/formalize/index.d.ts",
30
+ "default": "./dist/formalize/index.js"
27
31
  },
28
- "./llm": {
29
- "types": "./dist/llm/types.d.ts",
30
- "default": "./dist/llm/types.js"
32
+ "./skills": {
33
+ "types": "./dist/skills/index.d.ts",
34
+ "default": "./dist/skills/index.js"
31
35
  },
32
- "./adapter": {
33
- "types": "./dist/graph/types.d.ts",
34
- "default": "./dist/graph/adapter-registry.js"
36
+ "./llm": {
37
+ "types": "./dist/llm/index.d.ts",
38
+ "default": "./dist/llm/index.js"
35
39
  }
36
40
  },
37
41
  "files": [