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 +92 -1
- package/dist/formalize/index.d.ts +7 -0
- package/dist/formalize/index.d.ts.map +1 -0
- package/dist/formalize/index.js +5 -0
- package/dist/formalize/index.js.map +1 -0
- package/dist/graph/index.d.ts +8 -0
- package/dist/graph/index.d.ts.map +1 -0
- package/dist/graph/index.js +6 -0
- package/dist/graph/index.js.map +1 -0
- package/dist/index.d.ts +12 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +7 -0
- package/dist/index.js.map +1 -0
- package/dist/llm/index.d.ts +6 -0
- package/dist/llm/index.d.ts.map +1 -0
- package/dist/llm/index.js +3 -0
- package/dist/llm/index.js.map +1 -0
- package/dist/skills/index.d.ts +7 -0
- package/dist/skills/index.d.ts.map +1 -0
- package/dist/skills/index.js +4 -0
- package/dist/skills/index.js.map +1 -0
- package/dist/solvers/index.d.ts +7 -0
- package/dist/solvers/index.d.ts.map +1 -0
- package/dist/solvers/index.js +5 -0
- package/dist/solvers/index.js.map +1 -0
- package/package.json +20 -16
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/
|
|
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 @@
|
|
|
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"}
|
package/dist/index.d.ts
ADDED
|
@@ -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 @@
|
|
|
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 @@
|
|
|
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 @@
|
|
|
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.
|
|
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/
|
|
7
|
-
"types": "dist/
|
|
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/
|
|
18
|
-
"default": "./dist/solvers/
|
|
21
|
+
"types": "./dist/solvers/index.d.ts",
|
|
22
|
+
"default": "./dist/solvers/index.js"
|
|
19
23
|
},
|
|
20
|
-
"./
|
|
21
|
-
"types": "./dist/
|
|
22
|
-
"default": "./dist/
|
|
24
|
+
"./graph": {
|
|
25
|
+
"types": "./dist/graph/index.d.ts",
|
|
26
|
+
"default": "./dist/graph/index.js"
|
|
23
27
|
},
|
|
24
28
|
"./formalize": {
|
|
25
|
-
"types": "./dist/formalize/
|
|
26
|
-
"default": "./dist/formalize/
|
|
29
|
+
"types": "./dist/formalize/index.d.ts",
|
|
30
|
+
"default": "./dist/formalize/index.js"
|
|
27
31
|
},
|
|
28
|
-
"./
|
|
29
|
-
"types": "./dist/
|
|
30
|
-
"default": "./dist/
|
|
32
|
+
"./skills": {
|
|
33
|
+
"types": "./dist/skills/index.d.ts",
|
|
34
|
+
"default": "./dist/skills/index.js"
|
|
31
35
|
},
|
|
32
|
-
"./
|
|
33
|
-
"types": "./dist/
|
|
34
|
-
"default": "./dist/
|
|
36
|
+
"./llm": {
|
|
37
|
+
"types": "./dist/llm/index.d.ts",
|
|
38
|
+
"default": "./dist/llm/index.js"
|
|
35
39
|
}
|
|
36
40
|
},
|
|
37
41
|
"files": [
|