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.
☆59Oct 25, 2025Updated 9 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.☆27Nov 6, 2025Updated 8 months ago
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆129Updated this week
- Enhanced Architecture Decision Record format using the WH(Y) method — structured templates, dependency tracking, and governance metadata …☆24Feb 24, 2026Updated 5 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.☆53Oct 20, 2025Updated 9 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.
- 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
- Rust + WASM sublinear-time solver for asymmetric diagonally dominant systems. Exposes Neumann series, push, and hybrid random-walk algori…☆83Jul 5, 2026Updated 2 weeks ago
- 🦆 DUCK-E: The Duck That Talks Back - An AI-powered voice assistant that revolutionizes rubber duck debugging by actively engaging in you…☆52Updated this week
- Jack C. Louis's Unicornscan.☆25Mar 27, 2026Updated 3 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…☆87Jul 15, 2026Updated last week
- 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 so…☆39Jul 2, 2026Updated 3 weeks ago
- Deterministic optical-AI front end in pure Rust: a learned phase mask compresses light into task-useful sensor pixels.☆16Jun 18, 2026Updated last month
- Machine Dream - Continuous machine cognition research platform with GRASP loop, dreaming consolidation, and persistent memory. Pure LLM S…☆21Jan 24, 2026Updated 6 months ago
- a formally verified agentic system for capability-bounded autonomous reasoning☆15May 18, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The goal of this project is to create a modular Agentic Python framework for robotics that can be used to develop specific robotic applic…☆31May 23, 2026Updated 2 months ago
- AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instruc…☆171Jun 9, 2026Updated last month
- Run, quantize, and fine-tune LLMs on Apple Silicon. Pure Rust, no Python, no CUDA, no ONNX☆34Updated this week
- Easily switch between alternative low-cost AI models in Claude Code/Agent SDK. For those comfortable using Claude agents and commands, it…☆780Jun 28, 2026Updated 3 weeks ago
- A blazing-fast, memory-safe neural network library for Rust that brings the power of FANN to the modern world.☆371May 23, 2026Updated 2 months ago
- My vibe casting repository☆19Jul 18, 2026Updated last week
- This repository contains everything you need to set up a secure, cost-optimized remote development environment running a curated toolset …☆16Nov 22, 2025Updated 8 months ago
- Flow Nexus is the first competitive agentic platform built entirely on MCP. Deploy autonomous AI swarms, train neural networks, and com…☆96Sep 10, 2025Updated 10 months ago
- Cognitum community support — firmware releases, drivers, bug reports, feature requests☆19Jul 17, 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.
- bounded multi-source shortest paths benches in Rust, C, C++, Nim, Crystal, Kotlin (JAR), Elixir (.exs), Erlang (.erl).☆17Dec 13, 2025Updated 7 months ago
- The first platform designed to empower organizations by automating and enhancing their employment processes through advanced autonomous a…☆55Jun 26, 2024Updated 2 years ago
- A Biologically-Inspired Cognitive Architecture for Artificial General Intelligence☆16May 10, 2026Updated 2 months ago
- Synaptic Neural Mesh: a self-evolving, peer to peer neural fabric where every element is an agent, learning and communicating across a gl…☆76May 23, 2026Updated 2 months ago
- DS.js (Declarative Self‑learning JavaScript☆267May 23, 2026Updated 2 months ago
- Git for Agent Memory: Copy-On-Write vector branching for embedded multi-agent memory (83x faster, 3000x smaller snapshots)☆44Jul 4, 2026Updated 3 weeks ago
- A skill template that turns Claude into a structured AI pair programmer — planning, chunked execution, human oversight, and granular comm…☆35Jun 27, 2026Updated 3 weeks ago
- Agentic AI server in Rust. Multi-provider LLM routing, tool calling, RAG, MCP, multi-tenant workflows.☆16Jun 18, 2026Updated last month
- ruDevolution — The first decompiler that understands code semantically, recovers original names with AI, proves every transformation with…☆120Jun 27, 2026Updated 3 weeks ago
- 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.
- The Best Agentic Marketing Swarm in the World☆116May 23, 2026Updated 2 months ago
- Genesis is a groundbreaking physics platform designed for robotics and embodied AI applications that combines unprecedented simulation sp…☆41Sep 5, 2025Updated 10 months ago
- 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.…☆33Jun 14, 2026Updated last month
- Establishing a universal standard of trust between AI agents and merchants for the next phase of agentic commerce.☆187Oct 28, 2025Updated 8 months ago
- AI Agentic API Testing Platform - Automated testing with specialized ephemeral agents☆42Jun 17, 2026Updated last month
- Vector memory that gets smarter every time your agent uses it.☆81Jul 17, 2026Updated last week
- FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every static token inside Claude…☆179May 23, 2026Updated 2 months ago