Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
☆2,863Oct 22, 2026Updated last week
Alternatives and similar repositories for Formal-Verification-RSI
Users that are interested in Formal-Verification-RSI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A C++ implementation of Restir inside Falcor 8.0☆49May 1, 2026Updated 5 months ago
- ☆67Oct 23, 2026Updated last week
- ADAMANT Blockchain Node☆73Dec 31, 2024Updated last year
- Autobots is the name of the 24 hour call center for providing Level 3 Premium Engineering support for all Australian companies. It's lite…☆38Apr 2, 2025Updated last year
- In this repository is a collection of reusable libraries is designed to streamline your robotic process automation (RPA) development in …☆28May 10, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- PyPilot is a Python framework for creating intelligent AI workflows.☆28Jun 19, 2025Updated last year
- BatchedWallet is a simple example implementation of an ERC-4337-compliant smart wallet.☆14Dec 11, 2023Updated 2 years ago
- Manage Secret Manager secrets☆40Oct 16, 2026Updated 2 weeks ago
- Quantum-proof MCP Server and Client Interactions☆39Jun 16, 2025Updated last year
- The MCP server for interacting with Blockchain, Swaps, Strategic Planning and more.☆178Jul 29, 2025Updated last year
- Auto connect wallet, send token, stake, create vault, deposit, earn, borrow, faucet token.☆140Sep 26, 2025Updated last year
- After Effects Automation is a powerful Python-based tool that automates the creation and rendering☆65Mar 15, 2026Updated 7 months ago
- Tampermonkey script for Steam Followed Games: Price, Discount, History & Sorting.☆15Jun 21, 2025Updated last year
- Zero-Config, Fully AI-Managed End-to-End Testing for all code gen platforms.☆68Oct 19, 2026Updated last week
- 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.
- ☆11Oct 22, 2026Updated last week
- The Multi-Platform Haveno App for Monero☆56Sep 13, 2025Updated last year
- Yala is a Bitcoin-native liquidity protocol that enables Bitcoin holders to earn real yield from DeFi and RWAs without giving up ownershi…☆13Jun 18, 2025Updated last year
- Spokane Realtor Quest - the funniest Spokane real estate game on the internet, brought to you by ForSaleSpokane.com and Joey Costello, yo…☆40Apr 27, 2026Updated 6 months ago
- BBullet - A Raydium & pump.fun bundler.☆79May 23, 2025Updated last year
- Validate AWS tags in Terraform and CloudFormation☆73May 22, 2026Updated 5 months ago
- Declarative API testing☆21Oct 4, 2026Updated 3 weeks ago
- Professional WordPress cookie consent and privacy management plugin by Tuedion, powered by Orest Bida's CookieConsent.☆80Sep 25, 2026Updated last month
- Dotnet 9 URL Shortener REST API Project example with MongoDB☆11Jun 27, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An encyclopedia of jailbreaking techniques to make AI models safer.☆594May 26, 2025Updated last year
- The State Machine with more YAY!☆19Updated this week
- Enable LLMs to Program Themselves.☆628Mar 6, 2026Updated 7 months ago
- AW aims to develop a more decentralized computing network where user will be able to run the AW program on their own devices (PC included…☆12Mar 5, 2025Updated last year
- Lean 4 hypervisor memory ownership model with machine-checked isolation proofs☆109Oct 18, 2026Updated last week
- API dump of Roblox UGC emotes☆22Jul 20, 2026Updated 3 months ago
- Multiplayer for web apps without server-side code☆236Aug 25, 2025Updated last year
- Local MCP server for deep crypto token research across CoinGecko, DeFiLlama and web search. Free, no API key.☆170Oct 22, 2026Updated last week
- Forge is a self-hosted middleware that unifies access to multiple AI model providers (like OpenAI, Anthropic) via a single API. It suppor…☆171May 16, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Inspired by conditional rendering in vue js, easily manage conditional rendering in react js. No more nested tenary operators.☆103Mar 29, 2025Updated last year
- 2,750+ JavaScript solutions to various LeetCode problems☆324Dec 13, 2025Updated 10 months ago
- The Typescript MCP Framework☆931Apr 16, 2026Updated 6 months ago
- An open-source template to get your own chatbots up and ready in under 2 minutes. Authentication and Stripe fully integrated.☆27Apr 27, 2025Updated last year
- Zero-leak online detection of LLM decoding corruption and Free Web Search for your AI agents! Catch repetition loops, language drift and …☆104Sep 21, 2026Updated last month
- Kodezi Chronos is a debugging-first language model that achieves state-of-the-art results on SWE-bench Lite (80.33%) and 67% real-world f…☆4,976Nov 12, 2025Updated 11 months ago
- Powerful & flexible TypeScript SDK for the OpenRouter API. Streamlines building LLM applications with easy chat, adapter-based history, s…☆39Oct 6, 2025Updated last year