@yogthos/chiasmus

{ "name": "chiasmus", "version": "0.1.26", "type": "module", "description": "Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)", "main": "dist/index.js", "types": "dist/index.d.ts", "bin": { "chiasmus": "dist/mcp-server.js" }, "exports": { ".": { "types": "./dist/index.d.ts", "default": "./dist/index.js" }, "./mcp": { "types": "./dist/mcp-server.d.ts", "default": "./dist/mcp-server.js" }, "./solvers": { "types": "./dist/solvers/index.d.ts", "default": "./dist/solvers/index.js" }, "./graph": { "types": "./dist/graph/index.d.ts", "default": "./dist/graph/index.js" }, "./formalize": { "types": "./dist/formalize/index.d.ts", "default": "./dist/formalize/index.js" }, "./skills": { "types": "./dist/skills/index.d.ts", "default": "./dist/skills/index.js" }, "./llm": { "types": "./dist/llm/index.d.ts", "default": "./dist/llm/index.js" } }, "files": [ "dist/", "README.md", "LICENSE" ], "scripts": { "build": "tsc", "prepublishOnly": "pnpm run build", "test": "vitest", "test:run": "vitest run", "test:coverage": "vitest run --coverage", "mcp": "tsx src/mcp-server.ts", "typecheck": "tsc --noEmit" }, "keywords": [ "mcp", "z3", "prolog", "formal-verification", "neurosymbolic", "smt", "solver", "model-context-protocol", "claude", "llm" ], "license": "Apache-2.0", "author": "yogthos", "repository": { "type": "git", "url": "https://github.com/yogthos/chiasmus.git" }, "homepage": "https://github.com/yogthos/chiasmus#readme", "bugs": { "url": "https://github.com/yogthos/chiasmus/issues" }, "dependencies": { "@modelcontextprotocol/sdk": "^1.0.0", "@yogthos/tree-sitter-clojure": "^0.0.14", "better-sqlite3": "^12.8.0", "graphology": "^0.26.0", "graphology-communities-louvain": "^2.0.2", "graphology-metrics": "^2.4.0", "prolog-wasm-full": "^0.2.0", "proper-lockfile": "^4.1.2", "repl-sandbox": "^0.1.1", "tree-sitter": "^0.22.4", "tree-sitter-go": "^0.23.2", "tree-sitter-javascript": "^0.23.1", "tree-sitter-python": "^0.23.2", "tree-sitter-rust": "0.23.3", "tree-sitter-typescript": "^0.23.2", "web-tree-sitter": "^0.26.8", "z3-solver": "^4.16.0" }, "optionalDependencies": { "node-llama-cpp": "^3.18.1" }, "devDependencies": { "@types/better-sqlite3": "^7.6.13", "@types/node": "^22.0.0", "@types/proper-lockfile": "^4.1.4", "graphology-types": "^0.24.8", "tsx": "^4.19.0", "typescript": "^5.6.0", "vitest": "^4.0.17" }, "packageManager": "pnpm@10.18.0", "pnpm": { "onlyBuiltDependencies": [ "@yogthos/tree-sitter-clojure", "better-sqlite3", "esbuild", "tree-sitter", "tree-sitter-go", "tree-sitter-javascript", "tree-sitter-python", "tree-sitter-rust", "tree-sitter-typescript" ] }, "engines": { "node": ">=20.0.0" } }