resimindBLOCK
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Overview
From the repository's own README, as read at the audited commit. Badges and raw HTML are left out.
Catch the error. Keep the insight. Give the next task a checked head start.
[](https://github.com/1105216375-alt/resimind/releases/tag/v0.15.0) [](LICENSE) [](pyproject.toml) [](https://registry.modelcontextprotocol.io/v0.1/servers/io.github.1105216375-alt%2Fresimind/versions/0.15.0) [](#current-scope)
Run the demo · Connect MCP · Install the Skill · Take the challenge · 中文
ResiMind is an open-source neuro-symbolic Agent architecture that connects independent verification, residual-guided self-correction and reusable rule memory. Your model, rules or symbolic tools propose a step; domain checks decide what becomes a fact. Failed checks tell the next attempt what still needs fixing.
A checked solution can become a checked rule. Explicit learning extracts candidate rules from completed derivations, independently verifies admission, and rechecks each future application. Knowledge grows outside the model, without changing its weights. When local rules or tools suffice, the supported math routes run with zero model calls.
The core also runs bridge engineering, constrained optimization, customer support and open-ended planning with their own verifiers. Adaptive algebra, rule learning and the five MCP
be14ec7cb472OBSERVED · 2026-10-14Connect
Built from this server's own package name, version and transport as found in its source — not copied from anyone's documentation, so it cannot drift against a page we do not control. Replace the environment placeholders with a token scoped to the least it needs.
claude mcp add resimind --env DEEPSEEK_API_KEY=${DEEPSEEK_API_KEY} -- uvx resimind{
"mcpServers": {
"resimind": {
"command": "uvx",
"args": [
"resimind"
],
"env": {
"DEEPSEEK_API_KEY": "${DEEPSEEK_API_KEY}"
}
}
}
}Trust audit
BLOCKgrade D · trust 69/100 Do not install this without reading the findings. The audit found something that could harm you or your machine.
| Layer | What it checks | Result |
|---|---|---|
| L0 | Provenance & inventory | PASS |
| L1 | Static analysis of the code | FAIL |
| L2 | Instruction surface (what it tells the agent) | PASS |
| L3 | Class-specific surface | PASS |
| L4 | Behavioural (sandbox) | SKIPPED |
What the source does
- Filesystem
- none-observed
- Network
- none-observed
- Shell
- declared (1 observation(s))
- Dependencies
- pinned
- Secrets in source
- none-found
Findings (16)
f"(allow process-exec (literal {_quoted(invocation)}) (literal {_quoted(executable)}))"]h20241029143518931601.tar.xz
h20241029143546424651.tar.xz
h20241029143659983667.tar.xz
h20241029143729369677.tar.xz
guarded-live-development.tar.xz
module = importlib.import_module(f"resimind.integrations.{provider}")with Client((args.host, args.port), authkey=bytes.fromhex(args.auth_key)) as connection:
with Client((args.host, args.port), authkey=bytes.fromhex(args.auth_key)) as connection:
docs/evidence/chinatravel-development/development-v1.tar.xz
docs/evidence/chinatravel-development/development-v2.tar.xz
docs/evidence/chinatravel-pilot-v1/archives/h20241029143455115600.tar.xz
docs/evidence/chinatravel-pilot-v1/archives/h20241029143457494209.tar.xz
docs/evidence/chinatravel-pilot-v1/archives/h20241029143506461809.tar.xz
Set `DEEPSEEK_API_KEY` in your local environment and set `DEEPSEEK_MODEL` to a model ID available to your account. Keep the key out of code, commits, and shared transcripts. The example does not load
Gates applied: no_behavioural_pass.
be14ec7cb472full audit observations/trust-audit/mcp-server/1105216375-alt__resimind.json · Report an issue / request a re-scanAudit history
Every audit this server has had. A grade with a past is a grade somebody is still checking.
| Date | Source | Verdict | Grade | Score | Change |
|---|---|---|---|---|---|
| 2026-10-14 | be14ec7cb472 | BLOCK | D | 69 | first audit |
Questions
What is the resimind MCP server?
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Is resimind safe to connect to an agent?
No — not without reading the findings first. The audit graded it D (69/100) and found 1 critical or high issue in the source. Each one is listed on this page with the file and line it is on.
What credentials does resimind need?
It reads DEEPSEEK_API_KEY from the environment. Give it a token scoped to the least it needs — an agent that can be talked into calling a tool can be talked into calling it with your credentials.
How does resimind run?
It speaks stdio, so it runs as a local process your client starts. It is published on PyPI as resimind.
How current is this page?
The grade is for one exact copy of the source (be14ec7cb472), read on 2026-10-14. The repository is watched and re-audited when it changes.