agenticsorg / lean-agenticView external linksLinks
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.
☆39Oct 25, 2025Updated 3 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:
- Agentic_Robots.txt is a protocol specification that extends the traditional robots.txt protocol to enable sophisticated interaction betwe…☆33Feb 14, 2025Updated last year
- A distributed vector database that learns. Store embeddings, query with Cypher, scale horizontally with Raft consensus, and let the index…☆300Updated this week
- Establishing a universal standard of trust between AI agents and merchants for the next phase of agentic commerce.☆114Oct 28, 2025Updated 3 months ago
- MidStream is a powerful platform that makes AI conversations smarter and more responsive. Instead of waiting for an AI to finish speaking…☆60Jan 27, 2026Updated 2 weeks ago
- DS.js (Declarative Self‑learning JavaScript☆201Dec 6, 2025Updated 2 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
- Martingale posterior neural networks for fast sequential decision making @ Neurips 2025☆22Nov 13, 2025Updated 3 months ago
- FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every static token inside Claude…☆134Aug 1, 2025Updated 6 months ago
- A simple GPT-3 interface to automate core legal writing tasks☆11Mar 8, 2023Updated 2 years ago
- Estimating high-order interactions in time series data of any dimension☆17Sep 5, 2025Updated 5 months ago
- Python speech recognition script utilizing the Dragonfly library for speech recognition on Windows☆13Feb 6, 2026Updated last week
- A collection of open source and commercial tools that aid in red team operations.☆11Jun 14, 2018Updated 7 years ago
- SIT (Signature-Informed Transformer For Asset Allocation)☆19Nov 26, 2025Updated 2 months ago
- List of Law and Legal AI Agents Resources☆13Dec 25, 2024Updated last year
- Demo showing how to use Entra ID with MCP servers without passing access tokens through.☆14Apr 4, 2025Updated 10 months ago
- Command line tool for MakeCode editors☆17Jan 20, 2026Updated 3 weeks ago
- A lightweight utility to monitor filesystem events and run a script on matching conditions.☆13Nov 1, 2025Updated 3 months ago
- This is the code repository for 7FNCE025W High Frequency Trading.☆10Apr 12, 2023Updated 2 years ago
- Interactive terminal canvases for OpenCode - calendars, documents, flight booking☆20Jan 10, 2026Updated last month
- 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
- This project provides a FastAPI application to create and update GitHub gists using the GitHub API. It includes SQLite for persistence an…☆13May 26, 2024Updated last year
- A protoc plugin that generates GraphQL execution code from Protocol Buffers☆33Dec 27, 2025Updated last month
- This Python script is a comprehensive solution for managing user authentication, which includes both registration and login functionaliti…☆10Apr 1, 2024Updated last year
- Self-hosted sandboxed execution environments - like Sprites but on your own infrastructure☆31Jan 13, 2026Updated last month
- Package manager for Claude Code skills and agents and other AI related resources☆47Updated this week
- Install, manage and do everything Open vSwitch and SDN related.☆19Nov 24, 2025Updated 2 months ago
- Code for Rethinking Prompt Optimizers: From Prompt Merits to Optimization☆12Jan 12, 2026Updated last month
- Toolkit designed to parse complex source code and transform it into a rich, structured, and queryable knowledge graph☆84Jun 4, 2025Updated 8 months ago
- OpenBB terminal system in a Docker container accessible via a web-browser.☆11Oct 31, 2022Updated 3 years ago
- MACKO: Sparse matrix vector multiplication for low sparsity☆32Jan 24, 2026Updated 3 weeks ago
- A Roguelike Game Engine☆17Updated this week
- Condense source code for LLM analysis by extracting essential highlights, utilizing a simplified version of Paul Gauthier's repomap techn…☆14Mar 3, 2024Updated last year
- DIY Makecode Arcade console with Rp2040 Pico☆15Oct 3, 2023Updated 2 years 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 7 months ago
- Forecasting extension for OpenBB Platform☆17Jul 19, 2024Updated last year
- Kernels, the machine learning ones☆14Mar 6, 2023Updated 2 years ago
- Replication Toolbox of the Macroeconomic Model Data Base (MMB)☆16Jan 30, 2025Updated last year
- Model Context Protocl for AI Prompts API☆18Mar 14, 2025Updated 11 months ago
- Python SDK for mcpd☆19Jan 8, 2026Updated last month