Interactive Coq Proofs in Vim
Repository Index
47,133 repositories indexed
49–72 of 76 · Most stars
Translated🏠 Turn the Xiaoai speaker into a true AI smart butler: Xiaoai speaker + Xiaozhi + Hermes Agent + Home Assistant, with one Xiao Qi managing all whole-home devices such as Mijia and Haier. Control and query appliances by voice, scheduled tasks run on time, teach scenes and automations with a single sentence, proactive announcements and water leak alarms, all without opening an app or writing automations.
- ai-agent
- deepseek
- hermes-agent
- home-assistant
TranslatedCodex&GPT desktop pet data center | Your desktop dragon girl little assistant
- codex
- desktop-assistant
- desktop-pet
- pyside6
TranslatedMeetDo — open-source Meeting-to-Action AI by 筑听 (Zhuting, "build listen") · JKinco Listen. Self-hosted live meetings, local ASR/LLM, structured minutes, DOCX/PDF.
- docker
- fastapi
- funasr
- local-first
Email assistant and companion agent
This is the official repo for paper InteractiveWorld A Verifiable Human-Centric Environment for Building Better Interactive MLLM Assistants
Your own Google TV home screen and phone remote, with an optional Claude assistant. Set it up by handing this repo to your AI agent.
- android-tv
- claude-code
- google-tv
- home-screen
Expose all events from an Amcrest device to an MQTT broker
Autonomous desktop intelligence with MCU Ultron persona, mood-aware workspace orchestration, cyber security sentry, and full PC control.
- aegnts
- ai
- jarvis
- jarvis-ai
BIA Bob is a Jupyter+LLM-based assistant for interacting with image data and for working on Bio-image Analysis tasks.
Micropython Smarthome framework
看看哪些麦当劳权益快到期，哪些值得用，哪些不用为了到期硬消费。基于麦当劳官方 MCP 的 WorkBuddy Skill：只读查询优惠券与积分，按预算给出最多两套经官方接口试算的用餐方案。McDonald's coupon & points expiry assistant — a WorkBuddy Skill on the official McDonald's MCP. Read-only queries, official price calculation, max 2 budget-friendly plans.
- ai-agent
- mcdonalds
- mcp
- model-context-protocol
LUMINA Guide / 灵犀: Jetson + Orbbec RGB-D wearable navigation assistant prototype
Nosis is a lightweight personal agent runtime: per-session execution boundaries with OS-level sandboxing, computer use, a full built-in toolset, Skill / Plugin / MCP extensions, one runtime shared by GUI and TUI, and file-persisted sessions, plans, and memory.
- agent-framework
- agent-runtime
- agent-skills
- ai-agent
Jupyter kernel for Coq
Aqara (Xiaomi) Gateway to MQTT bridge (I use it for home assistant integration)
- aqara-mqtt
- mqtt
- xiaomi
- aqara
Run your coding agents from Telegram. A bridge for Claude Code, Codex, OpenCode, Pi and Antigravity CLI: send tasks by text or voice, watch them work and approve changes from your phone.
- ai-agents
- claude-code
- cli-tools
- codex
Outcome-based persistent memory MCP server for Claude Code and OpenCode. Good advice promoted, bad advice demoted. pip install roampal.
- ai-memory
- claude-code
- llm
- mcp
A ESP32 sensor to read an p1 electricity meter and publish this to MQTT and HomeAssistant, written in MicroPython
- homeassistant
- mqtt
- simulation
- p1meter
MicroPython module which allows to create Entites for HomeAssistant using MQTT Discovery
AI-Driven Full-Text Screening and Data Extraction for Systematic Reviews and Evidence Synthesis
- academic-research
- ai-assistant
- ai-tool
- data-extraction
An esp8266/32 micropython based sensor platform for gpio, dht, analog, led and more. Includes remote updates for .py code from web server and MQTT/Homeassistant integration
MQTT bridge for Huawei solar inverters (SUN2000/3000/5000) → Home Assistant
Hackathon registration server.
- django
- hacktoberfest
- python