Logic-Thinking MCP Server

export default { preset: 'ts-jest', testEnvironment: 'node', extensionsToTreatAsEsm: ['.ts'], moduleNameMapper: { '^(\\.{1,2}/.*)\\.js$': '$1', 'uuid': '<rootDir>/tests/__mocks__/uuid.ts', }, transform: { '^.+\\.tsx?$': [ 'ts-jest', { useESM: true, tsconfig: { module: 'ESNext', moduleResolution: 'Node', isolatedModules: true, }, }, ], }, // Skip integration tests that require external dependencies (Z3, ProbLog, Clingo) // These tests use import.meta.url which Jest cannot handle properly testPathIgnorePatterns: [ '/node_modules/', '/build/', 'z3Integration.test.ts', 'problogIntegration.test.ts', 'clingoIntegration.test.ts' ], };