1105216375-alt / resimind
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
1105216375-alt / resimind
dathere / qsv
Blazing-fast, Neuro-symbolic Data-Wrangling toolkit
SynaLinks / synalinks-skills
Coding Agents skills for Synalinks OSS
NucleoidAI / Nucleoid
Synthesized Logic Language for World Models 🌱🐋🌍