Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably compliant actions execute.
☆15Apr 23, 2026Updated 6 months ago
Alternatives and similar repositories for lean-agent-protocol
Users that are interested in lean-agent-protocol are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Terminal-native AI coding assistant for real repositories. Inspect code, edit files, run tests, and verify changes from the CLI.☆171Updated this week
- A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.☆15Oct 29, 2024Updated 2 years ago
- ☆43Jul 29, 2026Updated 3 months ago
- An AI-powered agent system generating and verifying Lean 4 code, translating natural language problems into formally proven programs usin…☆21May 30, 2025Updated last year
- ☆10Feb 21, 2017Updated 9 years 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.
- KZG WASM Build suitable for EIP-4844 and PeerDAS (EIP-7594)☆16Nov 3, 2025Updated 11 months ago
- Share an abstract-level database over the network or other kind of stream.☆17Mar 1, 2023Updated 3 years ago
- Simple node.js server to allow navigation of the contents of a WARC file☆14Apr 21, 2015Updated 11 years ago
- Easy access to unsaved files for vscode.☆13Jul 10, 2025Updated last year
- ☆11Apr 2, 2026Updated 6 months ago
- Resources for becoming a coder☆11Feb 9, 2021Updated 5 years ago
- Simple Webhook Provider and Slack Forwarding for Adobe I/O Events AEM Asset Event Updates.☆11Jul 24, 2018Updated 8 years ago
- Post faster, sell more — automate your Facebook Marketplace listings.☆15Nov 11, 2025Updated 11 months ago
- Public Hermes Agent skill for safe Android phone control via ADB☆19May 13, 2026Updated 5 months 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.
- investigating tool the Dark Web☆18Oct 21, 2026Updated last week
- 将设计、前端实现、代码探索、评审及媒体分析交给本地命令行 Agent，支持持续会话。☆24Sep 10, 2026Updated last month
- The project page of ZeroWallet☆19Jul 19, 2019Updated 7 years ago
- Collection of evals used in GSMA Open Telco Initiative☆15Jun 9, 2026Updated 4 months ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆17May 23, 2023Updated 3 years ago
- LibCP -- A Library for Conformal Prediction☆13Feb 26, 2015Updated 11 years ago
- locize connector to the backend for your browser☆10Oct 18, 2026Updated last week
- Acode linter plugin.☆18Mar 2, 2024Updated 2 years ago
- A hidden-information game without a trusted third party. Uses MPC and zero-knowledge proofs.☆41May 2, 2023Updated 3 years 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.
- Implementation of incrementally verifiable ledger system☆18Aug 12, 2026Updated 2 months ago
- Arduino project designed to control Mazzer espresso grinders by allowing users to control grind time and view grind status on an OLED dis…☆16Nov 4, 2017Updated 8 years ago
- The Security Agency That Never Sleeps — AI-powered security operations platform☆18May 24, 2026Updated 5 months ago
- A Model Context Protocol (MCP) server for generating and editing images using the OpenAI gpt-image-1 model.☆18May 7, 2025Updated last year
- uwu. A secure dialect of ECMAScript for arbitary code execution.☆18Feb 12, 2021Updated 5 years ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- JS SDK for Proxy ReEncryption functionality, support spec256k1☆14Nov 11, 2019Updated 6 years ago
- Multi-encoder segmentation for contrail detection in satellite imagery | Google Researc☆11Jan 28, 2026Updated 9 months ago
- Telegram capture workflow and sync doctor bundle for Hermes + Obsidian.☆20Jun 21, 2026Updated 4 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Stream Sniff analyzes your live video encoding to give you the best stream possible☆17Mar 10, 2026Updated 7 months ago
- This is the implementation of the 4th place solution (yu4u's part) for RSNA 2024 Lumbar Spine Degenerative Classification at Kaggle.☆11Oct 11, 2024Updated 2 years ago
- Find duplicate movie files in Plex Media Server.☆17Jul 14, 2014Updated 12 years ago
- ☆14Apr 20, 2026Updated 6 months ago
- 2nd Place Solution for the Google Research - Identify Contrails to Reduce Global Warming Competition☆14Aug 15, 2023Updated 3 years ago
- 📸 Code base for the Single-Page Laravel course☆16Dec 3, 2020Updated 5 years ago
- A better way to manage your agent skills.☆17Updated this week