{"name":"io.github.genesis-plan/lingnao","slug":"genesis-plan-lingnao","title":"LingNao","description":"LingNao: deterministic reasoning for AI agents → verified/refuted/unverifiable. ~3ms, fail-closed.","url":"https://mcp.market/server/genesis-plan-lingnao","rating":null,"grade":"B","score":82,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":32,"stars":0,"forks":0,"downloads_week":555,"last_push_at":"2026-10-09T09:43:48.000Z","license":"NOASSERTION"},"uptime":null,"claimed":false,"transport":"npm","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/genesis-plan/lingnao","website":"https://hongchenlingjing.com/verify/","version":"1.4.2","remotes":[],"packages":[{"registryType":"npm","identifier":"lingnao-mcp","version":"1.4.2","transport":{"type":"stdio"}}],"tools":[],"scan":null,"grade_history":[],"reviews":[]}