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
841–864 of 1,192 · 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.
TranslatedOfficial Document Writing Skills | AI official document writing assistant: prevents fabrication, keeps confidentiality, one-click GB/T 9704 formatting, covers 22 types of documents, supports Claude Code / Codex / Cursor
Let your AI agents call your phone over VoIP, and call them back. Your phone rings like a real call, even locked; a voice AI talks it through and returns the transcript. Self-hosted, open source, no phone numbers or Twilio.
Russian text quality for AI agents — neuroslop cleanup, typography, information style, editorial standards, UX writing, business correspondence. Scores text 0–10. 2,000+ linguistic atoms.
Put your idea on trial in front of a jury of 12 Claudes. A free Claude Code skill.
50x your usage with cheap-ag. Opus/Astra plans, a dirt-cheap model writes every line, and tests decide what ships. Your $20 plan stops hitting limits. One MCP server for Claude Code & Codex.
Edit photos by describing the change, on your own GPU. A free, open-source alternative to Nano Banana and ChatGPT image editing: photos stay on your computer, no daily limit. One installer for Windows, Mac and Linux sets up the best open model (Qwen-Image 2.1). MCP server for AI agents.
TranslatedAI Engineering Interview Questions (Organized by Company), Chinese Version — A Quick-Reference Handbook of AI Engineering Interview Questions from Top AI Companies, with Links to Answers
A ChatGPT, Gemini, Claude, and Ollama(offline) plug-in for Embarcadero RAD Studio IDE XE5 to 12.1
Auditable code review skill for Claude Code and Codex: four independent probes, evidence-backed findings, and a JSON-derived merge gate.
Supercharge the AI you already use. Greener. Better. Faster. Cheaper.
Kaapana is an open source toolkit for state of the art platform provisioning in the field of medical data analysis. The applications comprise AI-based workflows and federated learning scenarios with a focus on radiological and radiotherapeutic imaging. The name Kaapana comes from the Hawaiian word kaʻāpana, meaning "distributor" or "part".
Personal assistant, agent group chat and devices. An application built for AGI.
Agent skill to reverse engineer a SaaS product through the browser into a knowledge base for rebuilding it: screens, rules, data model, design tokens and production barriers, without touching production data.
AI Agent: Open-source headless CMS built with ASP.NET Core (C#) and React, featuring REST APIs, GraphQL, and a GrapesJS page designer.
Local-first AI trend radar and live-session distillation
A multi-model Muse: personal AI voice assistant on ESP32 - wake word or knob, any OpenAI-compatible brain (STT/chat/TTS mix-and-match), streaming replies, out of the box. Built on muse-gadget-sdk.
A curated list of AI-assisted reverse engineering: decompilation, recompilation and native ports, with how each project verifies correctness
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
ReMCTS
Autonomous OODA-loop pentesting agent. Hermes brain, Kali + Playwright tools over MCP, ATT&CK as the Orient language.
Turn a scene prompt into a shot sheet, then have a coding agent draw the film in HTML. No video model.
Small plugins and mods that make your life (and Claude Code) better
Kubernetes operator for self-hosted LLM inference across a heterogeneous GPU fleet: NVIDIA CUDA, AMD Vulkan, and Apple Silicon Metal. Runtimes: llama.cpp, vLLM, TGI, mlx-server. Multi-GPU sharding, model caching, OpenAI-compatible endpoints. Apache-2.0, run across homelab and on-prem fleets, actively developed.