Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
☆292Oct 15, 2026Updated 3 weeks ago
Alternatives and similar repositories for resimind
Users that are interested in resimind are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CraftStation Agent Runtime Composition System☆933Oct 29, 2026Updated last week
- FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproduci…☆926Updated this week
- ☆946Oct 29, 2026Updated last week
- 一条命令，把口播毛片变成可二次精修的剪辑工程。☆963Oct 30, 2026Updated last week
- EdgeRock: Strong Reasoning at Constant Memory. Multimodal models with O(N) generation and O(1) persistent history. Inference and evaluati…☆995Oct 23, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- MCPHub Desktop 是一款基于 Tauri 2 构建的桌面客户端，用于在个人电脑上统一管理 MCP服务器、Skills、RAG 知识库。所有进程、配置、密钥与向量数据都运行/保存在用户自己的机器上，不依赖任何远端服务。☆1,061Updated this week
- LLM-first, 3D-native robotics and simulation workspace.☆1,029Updated this week
- Run Linux-style commands on Windows via deterministic bash→PowerShell translation. No VM, no WSL. MCP server + CLI built for AI agents (C…☆899Updated this week
- Agent Skill 步进治理体系：由程序保证 Agent 不跳步骤（step-gate Rust 门控 + 交付门 + 链治理）☆833Sep 5, 2026Updated 2 months ago
- ☆850Oct 16, 2026Updated 3 weeks ago
- ☆735Oct 14, 2026Updated 3 weeks ago
- 大模型驱动的npc决策，npc和玩家平权☆1,180Mar 29, 2026Updated 7 months ago
- 基于 Jingyun Studio + DeepSeek Harness (DSH) 打造的一站式 AI 商业化桌面客户端，一个将 AI 智能体 / 技能 / 工作流转化为可交易商品的完整商业化平台客户端。 井云为 DSH 注入了完整的商业闭环：登录注册 → 会员体系 →…☆925Sep 30, 2026Updated last month
- 5–10x faster browser operations: Jev clicks, Codex thinks and verifies. Built at EZCollegeApp.☆1,207Oct 19, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 希儿最初的家~☆730Oct 28, 2026Updated last week
- Official PyTorch implementation of VisionHOPE: Visual Backbones as Self-Modifying Learning Systems.☆1,416Oct 12, 2026Updated 3 weeks ago
- Caddy Reverse Proxy Balancer and WAF WebUI☆697Updated this week
- Free strategy scorecard for trading backtests. Detect overfitting, weak edge, drawdown risk, and random-timing luck from returns, equity …☆927Oct 25, 2026Updated last week
- 知更 — 本地 AI 的上下文与记忆层。Mac 上用语音输入、情境代回并调度 Codex / Claude Code；iOS 正在成为随身记忆终端和本地 Agent 遥控器。Local-first · BYOK.☆799Sep 1, 2026Updated 2 months ago
- 软件实习项目作业☆984Sep 2, 2026Updated 2 months ago
- MOMO CODE — RSI *JEV*Pi --AI coding agent that evolves with you☆1,107Oct 27, 2026Updated last week
- Local-first AI agent workspace for multi-agent collaboration, agent orchestration, scoped permissions, evidence-aware runs, and human-in-…☆1,457Updated this week
- The (local & cloud) folder built for your agents.☆1,435Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆568Oct 26, 2026Updated last week
- 般若波罗蜜。回到每一个争吵和沉默的节点，看看另一个版本的结局。☆821Sep 17, 2026Updated last month
- ☆712Oct 8, 2026Updated 3 weeks ago
- Computer vision deployment resources and engineering workflow configuration☆666Updated this week
- Token-scale scientific discovery engine — autonomous hypothesis generation, experiment execution, and knowledge graph synthesis☆1,757Oct 24, 2026Updated last week
- Flatkey media generation CLI for images, videos, audio, text, credits, and model discovery.☆869Updated this week
- Native vLLM serving for Jev decision models☆946Oct 22, 2026Updated 2 weeks ago
- A fast coding agent, rpc plugin, sub-agents, sloppy edits, and mcp☆901Updated this week
- OntiCards 是面向企业的 AI 数据中枢（AI Data Hub），围绕业务数据库提供一站式能力：数据源连接、元数据理解、自然语言查询、跨源融合、数据质检、查询审计与数据资产管理等☆724Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Skill training with a corruption and reconstruction loop: train an agent's skill library, not its weights.☆687Oct 24, 2026Updated last week
- Learning to Recover from LLM Agent Failures at Test Time☆948Oct 11, 2026Updated 3 weeks ago
- Fifty Years of SAR Automatic Target Recognition: The Road Forward （IEEE GRSM 2026）☆965Oct 5, 2026Updated last month
- Local-first AI second brain & personal knowledge management: Six-Brain Markdown blueprint, Obsidian example vault, offline deployment and…☆876Updated this week
- AI Bro — a local-first workspace for AI conversations, source-linked knowledge, and tasks.☆922Oct 27, 2026Updated last week
- 几个 AI 终端开着，谁在等你一眼能看见。Claude Code、Codex 还在原来的终端里，旁边就能改文件、看 Git。macOS 本地工作台。☆538Oct 29, 2026Updated last week
- Try flatkey.ai for 40% saving! Generate practical images ready for all your work needs!!!☆827Updated this week