A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-driven optimization, and vector-backed agent memory.
☆61Oct 25, 2025Updated 11 months ago
Alternatives and similar repositories for lean-agentic
Users that are interested in lean-agentic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Detachable file viewer and git aware file tree.☆28Nov 6, 2025Updated 10 months ago
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆147Updated this week
- Enhanced Architecture Decision Record format using the WH(Y) method — structured templates, dependency tracking, and governance metadata …☆26Feb 24, 2026Updated 7 months ago
- Agentic_Robots.txt is a protocol specification that extends the traditional robots.txt protocol to enable sophisticated interaction betwe…☆40Feb 14, 2025Updated last year
- AI-powered game engine for dynamic, personalized experiences in evolving worlds. Ethical, accessible, inclusive.☆57Oct 20, 2025Updated 11 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rust + WASM sublinear-time solver for asymmetric diagonally dominant systems. Exposes Neumann series, push, and hybrid random-walk algori…☆90Aug 2, 2026Updated last month
- Voice rubber-duck debugging assistant: a FastAPI backend bridges the browser (WebRTC) to the OpenAI Realtime API, with server-side tools …☆54Sep 16, 2026Updated last week
- The kernel layer for production AI agents☆15Nov 22, 2025Updated 10 months ago
- Jack C. Louis's Unicornscan.☆30Mar 27, 2026Updated 6 months ago
- Visual planning and context control for shipping big apps with AI coding. Build from scratch or map existing repos. Dossier maps user wor…☆89Jul 15, 2026Updated 2 months ago
- Deterministic optical-AI front end in pure Rust: a learned phase mask compresses light into task-useful sensor pixels.☆23Jun 18, 2026Updated 3 months ago
- a formally verified agentic system for capability-bounded autonomous reasoning☆16Jul 31, 2026Updated last month
- Easily switch between alternative low-cost AI models in Claude Code/Agent SDK. For those comfortable using Claude agents and commands, it…☆813Sep 16, 2026Updated last week
- Flow Nexus is the first competitive agentic platform built entirely on MCP. Deploy autonomous AI swarms, train neural networks, and com…☆104Sep 10, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This repository contains everything you need to set up a secure, cost-optimized remote development environment running a curated toolset …☆16Nov 22, 2025Updated 10 months ago
- bounded multi-source shortest paths benches in Rust, C, C++, Nim, Crystal, Kotlin (JAR), Elixir (.exs), Erlang (.erl).☆18Dec 13, 2025Updated 9 months ago
- The first platform designed to empower organizations by automating and enhancing their employment processes through advanced autonomous a…☆58Jun 26, 2024Updated 2 years ago
- Cognitum community support — firmware releases, drivers, bug reports, feature requests☆24Sep 10, 2026Updated 2 weeks ago
- QuDAG Protocol (Quantum-Resistant DAG-Based Anonymous Communication System) - Claude Code implementation of a Test-Driven Development Imp…☆195Updated this week
- DS.js (Declarative Self‑learning JavaScript☆273May 23, 2026Updated 4 months ago
- Git for Agent Memory: Copy-On-Write vector branching for embedded multi-agent memory (83x faster, 3000x smaller snapshots)☆53Jul 4, 2026Updated 2 months ago
- A skill template that turns Claude into a structured AI pair programmer — planning, chunked execution, human oversight, and granular comm…☆36Jun 27, 2026Updated 3 months ago
- ruDevolution — The first decompiler that understands code semantically, recovers original names with AI, proves every transformation with…☆148Sep 10, 2026Updated 2 weeks 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.
- Establishing a universal standard of trust between AI agents and merchants for the next phase of agentic commerce.☆209Oct 28, 2025Updated 10 months ago
- AI Agentic API Testing Platform - Automated testing with specialized ephemeral agents☆47Jun 17, 2026Updated 3 months ago
- Practical wireless sensing tools and pipelines designed for robust real-world applications.☆18Nov 24, 2025Updated 10 months ago
- Vector memory that gets smarter every time your agent uses it.☆90Jul 30, 2026Updated last month
- The Best Agentic Marketing Swarm in the World☆22Jan 21, 2026Updated 8 months ago
- Self-Aware Feedback Loop Algorithm (python)☆161May 23, 2026Updated 4 months ago
- Everything you need to use Supabase + Ai☆20May 24, 2024Updated 2 years ago
- FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every static token inside Claude…☆183May 23, 2026Updated 4 months ago
- ☆34Sep 25, 2024Updated 2 years 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.
- Code Mesh☆39Oct 27, 2025Updated 11 months ago
- Worlds First AI Video Editor and Voice Cloner☆21Apr 8, 2026Updated 5 months ago
- ☆24Aug 19, 2026Updated last month
- Repo Explainer — turn any GitHub repo into a visual explainer page. Pipeline + 5 live examples.☆61Sep 20, 2026Updated last week
- 🛠️ The meta-harness for AI agents — scaffold your own focused, branded agent harness with its own npx CLI, MCP server, memory, learning …☆675Updated this week
- High-level details of the current development pipeline I'm using (this repo now deprecated)☆44Sep 16, 2026Updated last week
- Cross-platform voice-to-text dictation for Linux and macOS. Local/private STT using Parakeet-TDT 1.1B with NVIDIA CUDA or Apple CoreML ac…☆17Updated this week