# 1105216375-alt/resimind

<https://repo.masters-masters.com/en/repos/1105216375-alt/resimind>

[Home](https://repo.masters-masters.com/en) › [1105216375-alt](https://repo.masters-masters.com/en/owners/1105216375-alt) › [resimind](https://repo.masters-masters.com/en/repos/1105216375-alt/resimind)

1105216375-alt/resimind has 292 stars on GitHub. Its RepoMasters card: Alpha tier. Neuro-symbolic agents with verified memory. MCP math tools, an algebra…

| Field | Value |
| --- | --- |
| Owner | [1105216375-alt](https://repo.masters-masters.com/en/owners/1105216375-alt) |
| Stars | 292 |
| Forks | 1 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2026 |
| Topics | ai-agents, mathematics, neuro-symbolic, reasoning, verification, residual-reasoning, structural-engineering, customer-support, planning, knowledge-growth |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [1105216375-alt/resimind](https://github.com/1105216375-alt/resimind) |

## Repository

Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Python

- [yuhangdai427/Free-Geometry · ★ 292 · Python · Alpha](https://repo.masters-masters.com/en/repos/yuhangdai427/Free-Geometry)
- [jia070310/4K-IPTV-M3U · ★ 292 · Python · Alpha](https://repo.masters-masters.com/en/repos/jia070310/4K-IPTV-M3U)
- [zylwithxy/HRDiT · ★ 292 · Python · Alpha](https://repo.masters-masters.com/en/repos/zylwithxy/HRDiT)
- [areski/django-admin-tools-stats · ★ 292 · Python · Alpha](https://repo.masters-masters.com/en/repos/areski/django-admin-tools-stats)
- [robcowie/SublimeTODO · ★ 292 · Python · Alpha](https://repo.masters-masters.com/en/repos/robcowie/SublimeTODO)
- [facebookarchive/sparts · ★ 292 · Python · Alpha](https://repo.masters-masters.com/en/repos/facebookarchive/sparts)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.