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.
1 skill listed · MIT · 294 stars · last pushed 15 Oct 2026
1105216375-alt/resimind on GitHub (opens in a new tab)Install the collection
Any agent
Installs the latest version, not the one we checked. The skills CLI reports installs to skills.sh unless you set DISABLE_TELEMETRY=1.
npx skills@1.7.4 add 1105216375-alt/resimindSkills
| Skill | What it can touch | Pattern check | Licence | Updated |
|---|---|---|---|---|
verify-and-repair-algebraCheck and repair rational polynomial identities with ResiMind when an expansion looks wrong, two algebraic answers disagree, or an agent needs exact coefficient evidence before using a result. Applies to bounded polynomial algebra, not calculus, arbitrary theorem proving or engineering certification.
Pattern check: Nothing flaggedMITUpdated 14 Oct 2026 |
| Pattern check: Nothing flagged | MIT | 14 Oct 2026 |