Back to MCP servers

resimind

MCP serverGitHubActivePython

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

Description provenance: Original source

Open canonical source

Measured: Oct 19, 2026 · 5 observations

Domains & Uses

Domains
Agents, skills and MCP
Uses
Agent skills

Check at the source

Compatibility and prerequisites must be checked in the official documentation.

https://github.com/1105216375-alt/resimind

Classifications

Nature
Resource

Measurement history

Comparable readings are grouped by signal and unit.

Stars

193stars · Oct 19, 2026

+77 (+66.4 %)since Oct 15, 2026

Oct 15, 2026 : 116 starsOct 16, 2026 : 133 starsOct 17, 2026 : 160 starsOct 18, 2026 : 187 starsOct 19, 2026 : 193 stars
Exact values · 5 readings
MeasuredstarsChange
193+6
187+27
160+27
133+17
116·