AwesomeREA.org

Tool

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.

Requirements and limitations

  • 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; no pretrained model or successful local setup was established by this review.
  • Predictions select from a configured formula catalogue. The README’s accuracy/confidence examples are author-reported and do not establish correctness on arbitrary unseen functions; 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. No tests, training or inference were executed for this source review.
  • README and package metadata declare MIT, but the reviewed commit has no LICENSE file. Keep that distinction when assessing reuse.

About this entry

Type
Tool
Category
JavaScript and Electron tools
Relationship
Foundation tool
Targets
App

Sources reviewed

The description was reviewed against primary sources. This does not establish runtime testing, security auditing or verified compatibility.

Primary sources

  1. README.md GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  2. package.json GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  3. src/predictor.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  4. src/model.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  5. src/tf-setup.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  6. src/semantic/semantic-analyzer.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  7. tests/semantic.test.js GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab
  8. CONTRIBUTING.md GitHub · Abdoulrazack1/Logic-Lens · Revision bb15aab