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
84,085 visible repositories in the index
2,449–2,472 of 3,091 · 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.
Generative Fill, Remove object, Generative Expand and Text to Image for PhotoCraft and GIMP 3. Free, local, on your own GPU through ComfyUI.
Turn one image of anything into a 3D sculpt measured against that image: registered views, map-fitting passes, Blender replay and timelapse. A skill for coding agents.
TranslatedCNN | Keras/PyTorch | CAPTCHA recognition
Independently analyze ROI, win rate, and PnL using the public Hyperliquid API, detect martingale/grid recovery strategies, and assess maximum drawdown and risk-adjusted returns. Read-only terminal checker — no trading, no API keys. Unofficial community project, not affiliated with Hyperliquid.
Agent skills that make DeepSeek models plan, verify and ship like frontier models. npx skills add aicodeking/deepseek-stack
40K, small memory footprint, single binary that run list of commands in parallel and waits for their termination
A curated list of AI-assisted reverse engineering: decompilation, recompilation and native ports, with how each project verifies correctness
City Energy Analyst (CEA) is an open-source urban building energy modeling (UBEM) platform and computation tool for the design of low-carbon and highly efficient cities.
ROPMEMU is a framework to analyze, dissect and decompile complex code-reuse attacks.
ROS support for the MiR Robots. This is a community project to use the MiR Robots with ROS. It is not affiliated with Mobile Industrial Robots.
An SMTP Honeypot
TranslatedCurated agent skills for social media: Xiaohongshu (RedNote), Douyin, WeChat, X, YouTube, TikTok and LinkedIn. Also covers self-media operations, including WeChat Official Accounts, WeChat Channels and Bilibili: topic selection, writing, images, publishing and data. Usable by agents such as 千问 (Qianwen, "Thousand Questions"), 豆包 (Doubao, "bun"), 龙虾 (Longxia, "lobster") OpenClaw, WorkBuddy, Claude Code and Codex.
A bootstrap Python application, so that you can focus on writing code
Easily bring your Python applications online with the world's lightest GUI toolkit.
A decision-model-based ontology & knowledge-graph builder — builds governed knowledge graphs from your documents, every fact gated and traceable to its evidence.
The Volatility Collaborative GUI
AMQP implementation using asyncio
[Tech Report] Simplifying and Improving On-Policy Distillation for Few-step Diffusion
Looking Ahead: Modeling Future Evolution in Autoregressive Video Generation
Free global SEO/GEO skill for Claude Code, Codex & 10 agent hosts — 18 market portals, 56 stdlib scripts, 672 golden tests, self-update intel loop, monitoring daemon, CI gates. Multilingual GEO, pSEO, CWV, penalty recovery.
AI security review CLI: SAST, secret scanning, SCA, threat modeling and architecture review with Claude Code, Copilot, Codex, Gemini, Cursor or an API key. SARIF output for CI.
Threads, files and pages with status and full history. All in the same place.
P&ID to Knowledge Graph: a Claude skill that turns P&ID PDFs (digital or scanned) into a process knowledge graph of flow, instruments and control loops.