neuro-symbolic-static-analysis topic
List
neuro-symbolic-static-analysis repositories
RepoAudit
311
Stars
36
Forks
311
Watchers
An autonomous LLM-agent for large-scale, repository-level code auditing
