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.
☆46Oct 25, 2025Updated 4 months ago
Alternatives and similar repositories for lean-agentic
Users that are interested in lean-agentic are comparing it to the libraries listed below
Sorting:
- Genesis is a groundbreaking physics platform designed for robotics and embodied AI applications that combines unprecedented simulation sp…☆25Sep 5, 2025Updated 6 months ago
- Agentic_Robots.txt is a protocol specification that extends the traditional robots.txt protocol to enable sophisticated interaction betwe…☆33Feb 14, 2025Updated last year
- Establishing a universal standard of trust between AI agents and merchants for the next phase of agentic commerce.☆126Oct 28, 2025Updated 4 months ago
- ☆14Jun 12, 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…☆82Jan 27, 2026Updated last month
- DS.js (Declarative Self‑learning JavaScript☆209Dec 6, 2025Updated 3 months ago
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆23Nov 13, 2025Updated 3 months ago
- Code for the NeurIPS 2021 paper "Higher Order Kernel Mean Embeddings to Capture Filtrations of Stochastic Processes".☆10Oct 27, 2021Updated 4 years ago
- FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every static token inside Claude…☆140Aug 1, 2025Updated 7 months ago
- Estimating high-order interactions in time series data of any dimension☆17Sep 5, 2025Updated 6 months ago
- Time-Causal VAE☆19Nov 8, 2024Updated last year
- A simple GPT-3 interface to automate core legal writing tasks☆12Mar 8, 2023Updated 2 years ago
- Demo showing how to use Entra ID with MCP servers without passing access tokens through.☆14Apr 4, 2025Updated 11 months ago
- Python speech recognition script utilizing the Dragonfly library for speech recognition on Windows☆13Feb 6, 2026Updated last month
- This is the code repository for 7FNCE025W High Frequency Trading.☆10Apr 12, 2023Updated 2 years ago
- A protoc plugin that generates GraphQL execution code from Protocol Buffers☆38Updated this week
- This Python script is a comprehensive solution for managing user authentication, which includes both registration and login functionaliti…☆10Apr 1, 2024Updated last year
- Court Decisions (Judgments) of UK courts including those of the High Courts, Courts of Appeal and the Supreme Court☆13Jul 7, 2018Updated 7 years ago
- Aplicação Web realizada para que os usuários colabore com sua comunidade cadastrando os pontos de vacina em sua cidade no site. Venha aj…☆10Oct 29, 2021Updated 4 years ago
- ☆44Feb 20, 2026Updated 2 weeks ago
- Install, manage and do everything Open vSwitch and SDN related.☆19Nov 24, 2025Updated 3 months ago
- SIT (Signature-Informed Transformer For Asset Allocation)☆19Nov 26, 2025Updated 3 months ago
- List of Law and Legal AI Agents Resources☆15Dec 25, 2024Updated last year
- Code for Rethinking Prompt Optimizers: From Prompt Merits to Optimization☆12Jan 12, 2026Updated last month
- A lightweight utility to monitor filesystem events and run a script on matching conditions.☆13Nov 1, 2025Updated 4 months ago
- Network Optix Meta Platform Docker source code and instructions used for launching Nx Meta and Powered-by-Nx products in Docker container…☆16Updated this week
- This project provides a FastAPI application to create and update GitHub gists using the GitHub API. It includes SQLite for persistence an…☆14May 26, 2024Updated last year
- A collection of open source and commercial tools that aid in red team operations.☆11Jun 14, 2018Updated 7 years ago
- ☆10Apr 6, 2021Updated 4 years ago
- React wrapper for gauge.js☆10Mar 4, 2023Updated 3 years ago
- Command line tool for MakeCode editors☆17Jan 20, 2026Updated last month
- DIY Makecode Arcade console with Rp2040 Pico☆15Oct 3, 2023Updated 2 years ago
- Model Context Protocl for AI Prompts API☆18Mar 14, 2025Updated 11 months ago
- Forecasting extension for OpenBB Platform☆17Jul 19, 2024Updated last year
- MACKO: Sparse matrix vector multiplication for low sparsity☆33Jan 24, 2026Updated last month
- Fully automated memory and context management for Claude Code using hooks - Zero friction, zero context loss☆22Oct 22, 2025Updated 4 months ago
- a plugin for SimonW llm CLI which analyses diffs in a local git repository , generates commit messages in an interactive prompt & commits☆20Jun 27, 2025Updated 8 months ago
- Build a circular sector polygon feature spanning the angle between two given bearings, a center point and a radius. A pizza piece! 🍕☆12Oct 1, 2022Updated 3 years ago
- OpenBB terminal system in a Docker container accessible via a web-browser.☆11Oct 31, 2022Updated 3 years ago