Skip to content
R

ResiMind

Neuro-symbolic agents with verified memory

by io.github.1105216375-alt

Launch
#11102in AI Skills
0In stores

Description

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

Ratings & Reviews

No ratings yet

Be the first to rate ResiMind.

People also visit

D

DeusData/codebase-memory-mcp

Indexes a repo into a persistent local knowledge graph of functions, classes

AI Skills
Launch
M

microsoft/mcp

#⃣ - Access Azure services including Storage, Cosmos DB and Azure Monitor

AI Skills
Launch
J

joaoh82/rustunnel

Create and manage public HTTP, TCP and UDP tunnels to local services

AI Skills
Launch
G

Gearboy MCP Server

Game Boy / Game Boy Color / Super Game Boy emulator and debugger

AI Skills
Launch
D

domdomegg/airtable-mcp-server

Airtable database integration

AI Skills
Launch
T

TokenSave

The most comprehensive code intelligence MCP server for AI coding agents

AI Skills
Launch

ResiMind FAQ

What is 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.

Do I need to download ResiMind?

No. ResiMind runs in your browser at github.com, so there's nothing to install.

Who makes ResiMind?

ResiMind is made by io.github.1105216375-alt.

What are the best ResiMind alternatives?

Popular alternatives to ResiMind include DeusData/codebase-memory-mcp, microsoft/mcp and joaoh82/rustunnel. See all ResiMind alternatives

Developer Stuff

Badges