a lightweight static dynamic upside down and right up again analaysis tool for git.
Note
This project was written with heavy use of llm's Its all over the place and i wouldn't look at it yet. Just prototyping here.
- static analysis
- secrets & configuration
- llm assisted review
- formal verification
- unified findings
- historical tracking
- reporting & alerts
Error-menu is a simple tool that can be setup to watch repositories, github orgs, forks, branches, and more. It automatically pulls in reviewable work, performs a variety of analysis methods, compares diffs, and previously reported on issues.
It can be run in stealth, for a single user, or when given git forge credentials, for a team, with reviews and comments auto posted on PR's and commits.