{"id":"io-github-genesis-plan-lingnao","name":"io.github.genesis-plan/lingnao","title":"LingNao","description":"LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.","category":"agents-and-memory","categories":["agents-and-memory"],"flags":[],"users_30d":0,"health":{"status":"no_remote","latency_ms":null,"tool_count":null,"auth":null,"checked_at":null},"remote":false,"pending":false,"install_link":"https://toolfindr.dev/add?server=io.github.genesis-plan%2Flingnao&ref=tool-finder","details_url":"https://toolfindr.dev/servers/io-github-genesis-plan-lingnao","health_error":null,"repo_url":"https://github.com/genesis-plan/lingnao","website_url":"https://hongchenlingjing.com/verify/","version":"1.4.2","remotes":[]}