Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.
☆36Jul 2, 2026Updated last week
Alternatives and similar repositories for unsorry
Users that are interested in unsorry are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repo Explainer — turn any GitHub repo into a visual explainer page. Pipeline + 5 live examples.☆40Updated this week
- Git for Agent Memory: Copy-On-Write vector branching for embedded multi-agent memory (83x faster, 3000x smaller snapshots)☆41Jul 4, 2026Updated last week
- Every night, millions spend up to 45 minutes deciding what to watch — billions of hours lost every day. Not from lack of content, but fro…☆25Dec 8, 2025Updated 7 months ago
- ☆48May 23, 2026Updated last month
- High-level details of the current development pipeline I'm using. Expect this to evolve as tweaks and improvements are made.☆44Aug 13, 2025Updated 11 months ago
- 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.
- Agentic Artifacts is a tool for generating and managing CodeSandbox artifacts using AI. It leverages the power of Ai to create React comp…☆14Jun 24, 2024Updated 2 years ago
- The Best Agentic Marketing Swarm in the World☆23Jan 21, 2026Updated 5 months ago
- ☆26Updated this week
- ☆38Apr 14, 2026Updated 3 months ago
- SimpleAgents lets anyone vibe-code LLM agents and ship them production-ready. It’s Rust-first with Python/Node/Go bindings, multi-provide…☆33Jun 6, 2026Updated last month
- Self-learning knowledge system for quality engineering. Rust, SQLite + optional PostgreSQL, ONNX embeddings, hybrid retrieval, Bayesian q…☆21Updated this week
- The AI research assistant that cites real sources honestly — and searches the web. Your AI research assistant that cites real sources and…☆41Updated this week
- ☆59Sep 13, 2024Updated last year
- Realtime all-sky radar in the browser: live ADS-B aircraft, SGP4 satellites, sun/moon, and Rust/WASM anomaly scoring on a polar sky dome.…☆31Jun 14, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instruc…☆170Jun 9, 2026Updated last month
- ☆21Updated this week
- ruDevolution — The first decompiler that understands code semantically, recovers original names with AI, proves every transformation with…☆116Jun 27, 2026Updated 2 weeks ago
- An open source UI for Meta LLama Stack Apps / Agents☆43Sep 10, 2024Updated last year
- Worlds First AI Video Editor and Voice Cloner☆21Apr 8, 2026Updated 3 months ago
- 🛠️ The meta-harness for AI agents — scaffold your own focused, branded agent harness with its own npx CLI, MCP server, memory, learning …☆475Updated this week
- Logseq Spring Thing Immersive & Agentic Knowledge Development Engine☆88Updated this week
- AI Agentic API Testing Platform - Automated testing with specialized ephemeral agents☆42Jun 17, 2026Updated 3 weeks ago
- Pattern Space: Where Minds Dance Together☆84Jul 3, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- AI Hackerspace Consulting Collective (AiHCC)☆23May 7, 2024Updated 2 years ago
- A custom Ai driven IDE☆35May 6, 2025Updated last year
- AG2 Studio☆52Jan 24, 2025Updated last year
- ☆16Updated this week
- ☆19Nov 13, 2024Updated last year
- The rUv Enterprise AI Guide is a comprehensive resource designed to assist Chief Information Officers (CIOs) and technology leaders in na…☆92May 3, 2024Updated 2 years ago
- ☆57Dec 19, 2024Updated last year
- Agile Agents (A2) is an open-source framework for the creation and deployment of serverless intelligent agents using public and private c…☆42Jun 27, 2024Updated 2 years ago
- Rust + WASM sublinear-time solver for asymmetric diagonally dominant systems. Exposes Neumann series, push, and hybrid random-walk algori…☆83Jul 5, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- FTE+AI: Vendor Replacement Program Framework☆81Dec 31, 2025Updated 6 months ago
- AI-Powered Neural Network Libraries built with Claude-Flow Swarm Orchestration. Live demo from Agentics Foundation meetup in Toronto -…☆31Jun 25, 2025Updated last year
- Decentralized Autonomous Applications (DAAs). Building the Future with Self-Managing Applications.☆246May 23, 2026Updated last month
- ☆25Sep 10, 2025Updated 10 months ago
- Webhook endpoint for Fireflies transcripts with intent detection☆21Nov 1, 2024Updated last year
- The AI Adoption and Management Framework (AI-AMF) is a structured methodology designed to help organizations successfully integrate artif…☆16Feb 18, 2025Updated last year
- Smart Home Knowledge Graph Distributed MCP Library for Swift iOS and Python Backend☆21Jul 6, 2026Updated last week