LingNao
LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.
1.4.2version the registry lists (2 published)
0reported issues
Nolisted version affected
Nothing reported yet. That is a good sign, but not proof it is safe. Check who maintains it and what it can access.
Registry name io.github.genesis-plan/lingnao
· Source code · Website
Reported issues
None found in OSV or the NVD CVE list. Checked 21 hours ago.
Versions in the registry
1.4.2 (listed), 1.4.1