Skip to content
Happylancing Directory

1105216375-alt/resimind

HL-2026-1022·0687New

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

View on GitHub

Star history

1 snapshots

One observation so far (234 stars on Oct 22). The curve appears after the next snapshots.
Last 7 days
Not enough history (1 snapshot)
Last 30 days
Not enough history (1 snapshot)
Method
Differences between stored snapshots. How trends work

Why it is in the catalog

GitHub search: New AI agent projects.

  1. Oct 22GitHub search · source

More in MCP Servers and Integrations

  • storytold/deckcraft

    Presentations and slide shows: an open-source, clean-room reimplementation of Microsoft PowerPoint in pure Rust. Part of the ArtCraft Crafting Apps.

    4,091
  • tangency-labs/solidcraft

    SolidCraft: an open-source parametric 3D CAD application built in pure Rust. Desktop, web, and automation through MCP.

    8,963
  • withcoral/coral

    The execution layer for AI agents. Act across more of your systems with precise controls: safer, faster and more efficient than MCP tools and gateways.

    4,934
  • rehan-remade/universal-modder

    Point Claude at any game. Skills, tools and the fal MCP that let Claude Code mod almost any PC game you own: recon, reverse engineering, fal-generated art/3D/audio, in-game testing, showcase videos.

    8,644
  • HKUDS/nanobot

    Ultra-lightweight, open-source, self-hosted personal AI agent framework in Python with WebUI, tools, memory, MCP, multi-agent workflows, automation, and chat apps

    49.3K
  • XiaoPuOuO/openchatx-mcp

    Turn ChatGPT into a local agent runtime. Operate your computer, use local tools, discover MCP servers, and delegate work to your own models through one MCP connection.

    345