Neuro-symbolic agents with verified memory. Use what you know; call the model when needed. Self-correction, optional Lean checks and reusable rules.
Neuro-symbolic agents with verified memory. Use what you know; call the model when needed. Self-correction, optional Lean checks and reusable rules.
Maintain this project? Show that it is featured on YunoDB.
[](https://yunodb.com/tools/1105216375-altresimind?utm_source=github&utm_medium=badge)<a href="https://yunodb.com/tools/1105216375-altresimind?utm_source=github&utm_medium=badge"><img src="https://yunodb.com/badge/1105216375-altresimind.svg" alt="Featured on YunoDB" height="20"></a>
FinceptTerminal is a modern finance application offering advanced market analytics, investment research, and economic data tools, designed for interactive explo
A 100% free modern JS SaaS boilerplate (React, NodeJS, Prisma). Full-featured: Auth (email, google, github, slack, MS), Email sending, Background jobs, Landing
🤖 Multi-platform IM AI Agent for Telegram, WhatsApp, Lark, and WeChat. Connects ChatGPT / Claude / Kimi / DeepSeek / Ollama / Pi for auto-replies, community an