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
433–456 of 589 · 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.
11 Claude skills that port PlayStation 2 games you own to PC: reverse engineer the code, rebuild the graphics and backend, any controller, play it anywhere, then mod it however you want.
Header-only, lightweight C++ library for binary streaming & serialization. Network data handling made easy peasy!
Portable, evidence-bound security skills for authorized defensive assessment, red teaming, penetration testing, detection engineering, and engagement operations.
Enable root SSH on BMW MGU head units (iDrive 7 / ID8 BDC3 / ID8 BCP) over ENET - flash the debug image, enroll, persistent SSH with no B7F8E5 DTC, and a unique per-car key.
An awesome list of resources for specific science, technology, engineering, art, and math (STEAM) classes that students and teachers can use to supplement their learning
Open Lakehouse Compute Fabric: an open-source lakehouse platform with Microsoft Fabric Compute Extension.
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
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.
Zelda: Tears of the Kingdom (TotK) 1.0.0 recompiled to native Windows and Vulkan. Frame cap up to 240, DLSS option, mouse and keyboard. Open source, mostly written by AI agents. You build it from your own dump; no game files included. Measured on one PC so far.
Native Windows port of Pokémon: Let's Go, Eevee! (Switch v1.0.0) by static recompilation, built on LAS Recomp. No game files included.
A curated list of AI-assisted reverse engineering: decompilation, recompilation and native ports, with how each project verifies correctness
Agent skills for shipping real products with coding agents, from the first idea to paying users. No coding.
Small set of tools for helping with reverse engineering Linux drivers
:articulated_lorry: An awesome LIN bus tools, hardware and resources. It helps a reverse engineering LIN bus devices with lightly specializing in automotive embedded controller software and communication understanding.
THE MOST POWERFUL OFFENSIVE AI AGENT FOR PENTESTING , OSINT , AND ETHICAL HACKING
Suitable for Android APK reverse engineering analysis
A community-curated directory for exploring, requesting, and supporting independently recreated software
TranslatedBring the Codex imagegen workflow and prompt library to any agent; supports one-command installation with npm/pnpm, a companion skill, a standalone API, and a Qwen-Image compatible gateway.
The repository host gives no description.
Android Loadable Kernel Modules - mostly used for reversing and debugging on controlled systems/emulators
Erlang Oauth2 implementation
BINNY: an open source agent harness for reverse engineering. Plug in any model, or a local one.
Protect your SIP Servers from bad actors at https://sentrypeer.org