[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-98587":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":9,"language":10,"languages":9,"totalLinesOfCode":9,"stars":11,"forks":12,"watchers":13,"openIssues":12,"contributorsCount":12,"subscribersCount":12,"size":12,"stars1d":12,"stars7d":12,"stars30d":12,"stars90d":12,"forks30d":12,"starsTrendScore":12,"compositeScore":14,"rankGlobal":9,"rankLanguage":9,"license":15,"archived":16,"fork":16,"defaultBranch":17,"hasWiki":18,"hasPages":16,"topics":19,"createdAt":9,"pushedAt":40,"updatedAt":41,"readmeContent":9,"aiSummary":9,"trendingCount":12,"starSnapshotCount":12,"syncStatus":42,"lastSyncTime":43,"discoverSource":44},98587,"resimind","1105216375-alt\u002Fresimind","1105216375-alt","Neuro-symbolic agents with verified memory. Use what you know; call the model when needed. Self-correction, optional Lean checks and reusable rules.",null,"Python",69,0,59,36,"MIT License",false,"main",true,[20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39],"agent-memory","ai-agents","convex-optimization","customer-support","deepseek","engineering","knowledge-growth","knowledge-reuse","lean4","llm-agents","mathematics","neuro-symbolic","planning","python","reasoning","residual-reasoning","self-correction","structural-engineering","symbolic-reasoning","verification","2026-10-10 02:10:47","2026-10-12 17:00:20",2,"2026-10-13 04:10:47","CREATED_QUERY"]