hub / github.com/aalhuz/navex

github.com/aalhuz/navex @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

226 symbols 595 edges 22 files 7 documented · 3% ● updated 7y ago★ 2414 open issues

Browse by type

⨍ Functions 203◇ Types & classes 23

What it actually does AI analysis from the code graph — generated when you open this

loading…

Core symbols most depended-on inside this repo

↓ 3 filesSolver

src/solver/Solver.java

↓ 3 filesHTMLForm

src/HTMLForm.java

↓ 2 filesNeoGraphDatabase

@author Abeer Alhuzali this is the implementation of creating the navigation graph (a neo4j graph database) using Jason.

src/graphDatabase/NeoGraphDatabase.java

↓ 2 filesSolverModel

src/solver/SolverModel.java

↓ 2 filesTraceAnalysis

src/formula/TraceAnalysis.java

↓ 2 filesFormula

src/formula/Formula.java

browse all functions →

Shape

Method 203

Class 21

Enum 2

Languages

Java100%

Modules by API surface

src/solver/Solver.java47 symbols

src/solver/SolverModel.java25 symbols

src/formula/Formula.java23 symbols

src/graphDatabase/NavigationDatabaseNode.java22 symbols

src/HTMLForm.java18 symbols

src/graphDatabase/NeoGraphDatabase.java16 symbols

src/formula/StaticFormulaInfo.java15 symbols

src/solver/StaticSolver.java9 symbols

src/CrawlerFilter.java9 symbols

src/formula/Trace.java7 symbols

src/Main.java6 symbols

src/formula/InferType.java5 symbols

For agents

$ claude mcp add navex \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/aalhuz/navex @main

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page