MOTO is an automated theorem generator for science. It's a creative novelty-seeking researcher with autonomous Lean 4 proof generation. Run for days at a time once pressing start - no interaction needed! Agents working in parallel from either local host LM studio, OpenRouter, OAuth or all 3. No internet required. Star us for more!
☆92Oct 23, 2026Updated last week
Alternatives and similar repositories for MOTO-Autonomous-ASI
Users that are interested in MOTO-Autonomous-ASI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A practical introduction to derivatives pricing and risk : 10 Jupyter notebooks from 17 years on trading desks.☆24Jul 15, 2026Updated 3 months ago
- Generative Motion Latent Flow Matching for Audio-driven Talking Portrait☆12Jun 11, 2025Updated last year
- A promotional animation showcasing Claude Code's sub agent team capabilities, inspired by Greg Isenberg's tweet about AI agent teams and …☆19Jul 28, 2025Updated last year
- ☆13Jan 16, 2026Updated 9 months ago
- Lnu-AI: An Indigenous AI System. Preserving the Mi'kmaq Language in AI.☆12Jun 22, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Example of Langchain-Elasticsearch integrations & RAG.☆12Sep 20, 2024Updated 2 years ago
- Movie file generator for video production review sessions☆11Jan 31, 2017Updated 9 years ago
- "Local LLM agent runtime in Rust — native tool-role support, tmux session persistence, two-tier summarization, SQLite tool logging and Sh…☆12Oct 13, 2026Updated 2 weeks ago
- ☆10Aug 26, 2024Updated 2 years ago
- Web-based VFX viewer inspired by OpenRV. Frame-accurate playback, professional color grading (CDL, LUTs, curves), waveform/vectorscope/h…☆15Oct 16, 2026Updated 2 weeks ago
- ☆21Mar 25, 2026Updated 7 months ago
- An experimental open-source attempt to make GPT-4 fully autonomous.☆11Nov 8, 2023Updated 2 years ago
- ☆11Mar 25, 2024Updated 2 years ago
- A modernized SortableJS built with TypeScript☆12Feb 10, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Your new best friend when it comes to prompting in ComfyUI.☆17Oct 19, 2026Updated last week
- ☆12Feb 28, 2024Updated 2 years ago
- An installable AI operating system — persistent agents with living brains☆11Updated this week
- A Multi-Model AI Assistant - Chatbot☆12Jul 14, 2023Updated 3 years ago
- repository for nuke tools and scripts☆11Apr 12, 2016Updated 10 years ago
- pomu.app archives VTuber livestreams both automatically and on-demand☆19Sep 17, 2024Updated 2 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- MCP-first AI video editor in Rust/C++. Every operation is an AI-callable tool.☆20Updated this week
- NVIDIA RTX Upscaler to work natively in Foundry Nuke☆13Aug 24, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A powerful Chrome extension to bypass common anti-debugging scripts and DevTools traps.☆15Sep 13, 2026Updated last month
- A complete suite of tools to manage naming conventions from one or more "Rules repositories" Please check docs for more in depth info: ht…☆20Jul 30, 2026Updated 3 months ago
- ☆10Aug 28, 2023Updated 3 years ago
- A local‑first AI pipeline that generates coherent images, videos, stories, dialogues, and spatial audio from an augmented storyboard. It …☆14Updated this week
- Detect which app the python interpreter is running in.⚙️Supports Ansible, AutoCAD, Blender, Calibre, Cinema 4D, Clarisse, Flame, Fusion, …☆12Mar 4, 2025Updated last year
- ☆12Dec 18, 2023Updated 2 years ago
- Relighting real footage in Nuke — with actual PBR shading.☆25Jun 12, 2026Updated 4 months ago
- 🧙♂️ Generates Elasticsearch queries using OpenAI API and LangChain☆13Jul 9, 2024Updated 2 years ago
- AI Music community studio☆16Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- File-Manager | GUI Desktop Application made in Python using PyQt5☆19Aug 15, 2023Updated 3 years ago
- Raw benchmark logs for Swift-Qwen3.8-27B vs the Qwen3.8-27B BF16 base: every response, score, and config across 9 benchmarks☆13Sep 13, 2026Updated last month
- An assistant that remembers every paper you've ever read — running entirely on your device, with your data never leaving it.☆17Jul 29, 2026Updated 3 months ago
- ☆11Sep 28, 2025Updated last year
- Omarchy Overwatch — configurable dark OSINT intelligence dashboard with interactive globe and multi-panel layout☆13Oct 4, 2026Updated 3 weeks ago
- We Make Mac apps accessible for AI agents☆13Apr 1, 2025Updated last year
- Automatic Image Alignment for Nuke☆14Mar 29, 2026Updated 7 months ago