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.
☆42Oct 7, 2026Updated 2 weeks ago
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:
- Headless agent orchestrator with deterministic state machine — processes a bead queue, dispatches to any LLM CLI, handles every outcome. …☆30Updated this 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…☆26Dec 8, 2025Updated 10 months ago
- Gold-standard course design templates for AI-first education by Bradley.Academy. For course designers, instructional developers, and AI a…☆20Dec 4, 2025Updated 10 months ago
- khive is a system of records and operations for agent-native organizations☆34Updated this week
- Detachable file viewer and git aware file tree.☆28Nov 6, 2025Updated 11 months ago
- 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.
- Lightweight TUI dashboard for Claude Code token usage, agent sessions, and system resources. Go.☆16Oct 11, 2026Updated last week
- Repo Explainer — turn any GitHub repo into a visual explainer page. Pipeline + 5 live examples.☆63Oct 16, 2026Updated last week
- Machine Dream - Continuous machine cognition research platform with GRASP loop, dreaming consolidation, and persistent memory. Pure LLM S…☆22Jan 24, 2026Updated 8 months ago
- Enhanced Architecture Decision Record format using the WH(Y) method — structured templates, dependency tracking, and governance metadata …☆26Feb 24, 2026Updated 7 months ago
- Run AI models on Apple Silicon and Raspberry Pi☆45Updated this week
- Deterministic, local-only audit reports for Claude Code AI agent sessions. Rust + SQLite. Zero network calls. MCP server for agents.☆24Aug 27, 2026Updated last month
- Reformat a live LLM token stream inflight — separate thinking from answer, collapse repetition, normalize. Google Vertex / OpenRouter / m…☆20Aug 17, 2026Updated 2 months ago
- CVE-bench — conformant reproduce-and-fix security benchmark from public CVEs + OSS fix-PRs/tests. Apply-patch -> run the security test (F…☆25Jun 27, 2026Updated 3 months ago
- The kernel layer for production AI agents☆15Nov 22, 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.
- OpenAVO is an open harness for long horizon autonomous reasoning, combining prediction, memory, supervision, verification, and adaptive a…☆18Aug 22, 2026Updated 2 months ago
- A multiplayer ai community where humans hang out in a web app and agents connect over SSH or MCP — sharing the same message boards, marke…☆33Oct 10, 2026Updated last week
- Opinionated DevPod workspace configs for agentic engineering — Claude Code, shared secrets, VS Code extensions, ready on first launch.☆62Sep 2, 2026Updated last month
- Deterministic optical-AI front end in pure Rust: a learned phase mask compresses light into task-useful sensor pixels.☆21Oct 10, 2026Updated last week
- Pixel-native visual RAG ported to Rust on the ruvector ANN substrate (HNSW + IVF-Flat) — screenshot/document retrieval over visual embedd…☆44Jun 26, 2026Updated 3 months ago
- My vibe casting repository☆22Sep 23, 2026Updated last month
- AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instruc…☆177Jun 9, 2026Updated 4 months ago
- WiFi Veil — a privacy firewall against unauthorized WiFi sensing. Compliant waveform controls only, never jamming. SYNTHETIC/L0 evidence,…☆26Aug 9, 2026Updated 2 months ago
- A MoE expert separation workbench for building, testing, and routing smaller specialist models with MetaHarness, Ruflo, and LatentMesh st…☆14Sep 5, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Real-time human pose detection and motion tracking system using TensorFlow.js☆18Oct 3, 2026Updated 2 weeks ago
- Helix — a private, local-first, anti-hallucination Personal Health Intelligence platform on the ruvnet stack (Ruflo + RuVector + Cognitum…☆52Oct 10, 2026Updated last week
- Technology recommender for RuVector — 200+ AI/ML capabilities, 16 domains, 5 industry verticals. Matches problems to solutions via intent…☆26Jul 20, 2026Updated 3 months ago
- A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-dr…☆61Oct 25, 2025Updated 11 months ago
- Invisible, key-verifiable watermarks for AI/LLM-generated text — SynthID-Text-style, in Rust + WebAssembly (Node + browser). Live playgro…☆30Aug 16, 2026Updated 2 months ago
- RuvNet Brain — a downloadable, source-grounded brain for Claude Code over Reuven Cohen's (rUv's) RuvNet stack: RuVector/RVF, Ruflo, Agent…☆74Oct 16, 2026Updated last week
- Cognitum community support — firmware releases, drivers, bug reports, feature requests☆26Sep 10, 2026Updated last month
- Latent communication fabric for continuously evolving agent collectives — training-free orthogonal alignment of hidden states as a networ…☆26Oct 10, 2026Updated last week
- Git for Agent Memory: Copy-On-Write vector branching for embedded multi-agent memory (83x faster, 3000x smaller snapshots)☆55Jul 4, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Dream Machine — a config-driven engine for nightly, cloud-scheduled, evidence-gated repository evolution. Composes @metaharness/flywh…☆40Updated this week
- Pattern Space: Where Minds Dance Together☆85Oct 4, 2026Updated 2 weeks ago
- Agentic Artifacts is a tool for generating and managing CodeSandbox artifacts using AI. It leverages the power of Ai to create React comp…☆15Jun 24, 2024Updated 2 years ago
- Part of Cognitum platform (see cognitum-one/cognitum meta-repo)☆22Sep 10, 2026Updated last month
- Specs that enforce themselves. Turn specs into contracts that can't be broken by helpful LLMs.☆25Oct 15, 2026Updated last week
- a formally verified agentic system for capability-bounded autonomous reasoning☆16Oct 9, 2026Updated 2 weeks ago
- Run Claude Code with any LLM provider — drop-in proxy for OpenAI, Gemini, and more. Go.☆25Oct 13, 2026Updated last week