Rodrigo Verdiani 89d23e0abd feat(docker): configure backend and add health checks

2026-06-12 21:47:54 -03:00

.mvn/wrapper

…

docs

feat(ai): implement real-time tool call events in SSE

2026-06-11 22:12:01 -03:00

engines

feat(binary): add support for binary dependencies management

2026-06-10 12:37:45 -03:00

src

feat(mutation): enhance mutation service with new operations

2026-06-12 21:32:58 -03:00

.dockerignore

feat(docker): configure backend and add health checks

2026-06-12 21:47:54 -03:00

.env.example

feat(ai): add AI chat and RAG embedding module

2026-06-08 20:12:59 -03:00

.gitattributes

…

.gitignore

feat(analysis): add support for IDA Pro 6.6

2026-06-09 20:00:36 -03:00

AGENTS.md

docs: add AI module documentation and AGENTS.md

2026-06-08 20:13:21 -03:00

docker-compose.yml

feat(docker): configure backend and add health checks

2026-06-12 21:47:54 -03:00

Dockerfile

feat(docker): configure backend and add health checks

2026-06-12 21:47:54 -03:00

Dockerfile.die

feat(die): integrate DiE analysis and result parsing

2026-06-07 15:45:50 -03:00

mvnw

…

mvnw.cmd

…

pom.xml

feat(ai): enhance AI with tool calling

2026-06-11 21:08:37 -03:00

Description

No description provided

187 MiB

Languages

Standard ML 90.8%

Boogie 3.7%

Python 3.1%

C 1.2%

Java 0.8%

Other 0.4%