chiasmus 0.1.7 → 0.1.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.
- package/dist/mcp-server.js +1 -1
- package/package.json +2 -2
package/dist/mcp-server.js
CHANGED
|
@@ -204,7 +204,7 @@ Returns cleaned spec + fixes applied + remaining errors.`,
|
|
|
204
204
|
description: `Analyze source code call graphs via tree-sitter + Prolog.
|
|
205
205
|
|
|
206
206
|
Parse source files → extract call graph → run formal analysis.
|
|
207
|
-
Supports: TypeScript, JavaScript. Files must be absolute paths.
|
|
207
|
+
Supports: TypeScript, JavaScript, Python, Go, Clojure. Files must be absolute paths.
|
|
208
208
|
|
|
209
209
|
ANALYSES:
|
|
210
210
|
summary — overview: files, functions, call edges
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "chiasmus",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.8",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"description": "Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and Tau Prolog",
|
|
6
6
|
"main": "dist/mcp-server.js",
|
|
@@ -76,7 +76,7 @@
|
|
|
76
76
|
"better-sqlite3": "^12.8.0",
|
|
77
77
|
"repl-sandbox": "^0.1.1",
|
|
78
78
|
"tau-prolog": "^0.3.4",
|
|
79
|
-
"tree-sitter": "^0.
|
|
79
|
+
"tree-sitter": "^0.22.4",
|
|
80
80
|
"tree-sitter-go": "^0.23.2",
|
|
81
81
|
"tree-sitter-javascript": "^0.23.1",
|
|
82
82
|
"tree-sitter-python": "^0.23.2",
|