# Logic-Lens

> Experimental JavaScript source-analysis toolkit that classifies AST-token sequences into configured formula families after local training, and produces heuristic structure, call-graph and intent reports. It supports code-comprehension experiments; its predictions do not establish arbitrary program invariants or semantic equivalence.

- Type: Tool
- Targets: App
- Category: JavaScript and Electron tools
- Relationship: Foundation tool
- Sources reviewed: 2026-10-20
- Added to the catalog: 2026-10-20
- Original resource: <https://github.com/Abdoulrazack1/Logic-Lens>
- Primary source: <https://github.com/Abdoulrazack1/Logic-Lens/blob/bb15aab345de64ef044a074d5e564fb087999032/README.md>
- Catalog page: <https://awesomerea.org/resources/logic-lens/>
- Record JSON: <https://awesomerea.org/resources/logic-lens/record.json>
- Chinese version: [简体中文](https://awesomerea.org/zh/resources/logic-lens/index.md)

## Requirements & limits

- The README documents Node.js 18 or newer. Package version 1.1.0 declares TensorFlow.js, its native Node binding and Acorn; the setup first tries the native TensorFlow binding and then falls back to the pure JavaScript CPU backend.
- Formula prediction requires local synthetic-data generation and training. The predictor expects model weights and metadata that are absent from the reviewed repository tree.
- Predictions select from a configured formula catalogue. The README’s accuracy/confidence examples are author-reported; heuristic intent and quality reports are not behavioral-equivalence proofs.
- Standalone semantic-test definitions cover structure, heuristic patterns and report shape. CONTRIBUTING mentions npm test, but package.json has no test script.
- README and package metadata declare MIT, but the reviewed commit has no LICENSE file.

## Primary sources

1. <https://github.com/Abdoulrazack1/Logic-Lens/blob/bb15aab345de64ef044a074d5e564fb087999032/README.md>
2. <https://github.com/Abdoulrazack1/Logic-Lens/blob/bb15aab345de64ef044a074d5e564fb087999032/package.json>
3. <https://github.com/Abdoulrazack1/Logic-Lens/blob/bb15aab345de64ef044a074d5e564fb087999032/src/predictor.js>
4. <https://github.com/Abdoulrazack1/Logic-Lens/blob/bb15aab345de64ef044a074d5e564fb087999032/src/model.js>
5. <https://github.com/Abdoulrazack1/Logic-Lens/blob/bb15aab345de64ef044a074d5e564fb087999032/src/tf-setup.js>
6. <https://github.com/Abdoulrazack1/Logic-Lens/blob/bb15aab345de64ef044a074d5e564fb087999032/src/semantic/semantic-analyzer.js>
7. <https://github.com/Abdoulrazack1/Logic-Lens/blob/bb15aab345de64ef044a074d5e564fb087999032/tests/semantic.test.js>
8. <https://github.com/Abdoulrazack1/Logic-Lens/blob/bb15aab345de64ef044a074d5e564fb087999032/CONTRIBUTING.md>

## More in Apps

- [Android Security Toolkit](https://awesomerea.org/resources/android-security-toolkit/index.md) · Tool
- [ilspy-cli: targeted .NET decompilation for agents](https://awesomerea.org/resources/akiselev-ilspy-cli/index.md) · Tool
- [React-Decode](https://awesomerea.org/resources/react-decode/index.md) · Tool
- [abc-decompiler](https://awesomerea.org/resources/abc-decompiler/index.md) · Tool
- [slicer](https://awesomerea.org/resources/slicer/index.md) · Tool
- [APK Studio](https://awesomerea.org/resources/apk-studio/index.md) · Tool

## About this entry

The description was reviewed against primary sources.
Original editorial content: MIT. Linked projects, papers and assets retain their own rights and licenses.