Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
47,133 repositories indexed
193–216 of 290 · Most stars
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
Extract knowledge from all information sources using gpt and other language models. Index and make Q&A session with information sources.
Opinionated paranoid text spacing in Python
TranslatedMeetDo — open-source Meeting-to-Action AI by 筑听 (Zhuting, "build listen") · JKinco Listen. Self-hosted live meetings, local ASR/LLM, structured minutes, DOCX/PDF.
TOMC Memory: CPU context compression and task memory for Codex, Claude Code, Cursor, TRAE, WorkBuddy and other MCP clients.
A TextMate and Sublime Text Bundle for the Elixir programming language
Embodied In-Context Learning for GPT-6 Astra
Sublime Text 3 Dart Package
EveryInfra MCP server & agent plugin: scraper API for TikTok, Instagram, Amazon, YouTube, Xiaohongshu & Douyin. 573 data APIs across 106 platforms, from $0.56/1K calls. For Claude Code, Cursor, Codex.
Battle-tested agent skills for Product Builders. Part of the Product Builder OS by Superhero.tech: Super Brain for context, skills for action, built from 32+ years of combined product experience and pressure-tested with 1,800 builders.
Jupyter Notebooks as plain Python code with embedded Markdown text
Companion repository for “In-Context Learning for Robots: Methods and Applications” — methods, datasets, and benchmarks organized by taxonomy and release date.
MariaDB MCP (Model Context Protocol) server implementation
Generative Fill, Remove object, Generative Expand and Text to Image for PhotoCraft and GIMP 3. Free, local, on your own GPU through ComfyUI.
Make any NPC in any game talk back with Fish Audio: skills, a self-hosted voice server and tools for AI coding agents, with a full GTA V example.
📜 Package for working with Valve's text and binary KeyValue format
Meta Self-learning for Multi-Source Domain Adaptation: A Benchmark
:ghost: GhostText plugin for Neovim with zero dependencies :tada: Supports neovim running inside WSL too! :partying_face: Windows/Linux/macOS supported out-of-the-box! :smile: (Other OSes need python3.6+ installed)
On-device Vision Model - a fully offline, free vision pipeline that gives text-only models (e.g. DeepSeek) image understanding and multilingual OCR through an OpenAI-compatible local API. Only tokens are needed: no API key, no subscription, no cloud cost. Recommended for native speakers of Chinese, English, Japanese and Korean.
Sublime Text 2 Plugin to compile less files to css on save
A reusable agent skill and Markdown standard for consistent, current project context.
The World's Most Comprehensive, Authoritative, and Structured Open Source Data Source Knowledge Base
Implementation of the paper -> https://arxiv.org/abs/1709.00155. For converting information present in the form of structured data into natural language text
reStructuredText linter