Starred repositories
Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
AI agent for the BitGN Agent Challenge: E-commerce (ECOM) benchmark. Exoskeleton architecture
An open-source, Docker-based project that utilizes Wi-Fi signal interference (RSSI) to detect human movement and presence. Featuring a real-time 'Solar Radar' UI to visualize environmental changes …
Meditron is a suite of open-source medical Large Language Models (LLMs).
The batteries-included agent harness.
You're the boss, agents are your team. They handle tasks on their own, message each other, and review each other's work. You just watch the kanban board and give high-level commands. Codex/Claude/O…
Research Code for MOMENT
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
A home assistant generative agent integration based on langchain and langgraph.
An Arduino-compatible library for real-time person detection using the Ai Thinker ESP32 CAM module. Integrates OpenCV and YOLO models for edge AI processing, perfect for automation in smart homes, …
Code to accompany the Universal Deep Research paper (https://arxiv.org/abs/2509.00244)
Official Repo for MemOp: Enhancing Software Engineering Through Closed-Loop Memory Optimization
macOS desktop app that records user activity via accessibility APIs into a local SQLite database.
🔬 Verifiable AI-Augmented Engineering Framework - Stop AI hallucinations with formal traceability (REQ→ART→TC). Agent Skills for Claude Code, Cursor, VS Code & Copilot. Enterprise-grade: ISO 9001, …
Smart Fridge Application with food recognition, expiration alert, face detection, and a web UI to monitor fridge state, visualize items in fridge, and generate recipe with ChatGPT.
A payments protocol for the internet. Built on HTTP.