TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.
☆21Oct 22, 2026Updated this week
Alternatives and similar repositories for agent-formal-verify
Users that are interested in agent-formal-verify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- PhoneGap Facing App☆12Jan 7, 2016Updated 10 years ago
- A modern React component with liquid frosted glass effect using TailwindCSS. Perfect for creating elegant interfaces with glassmorphism e…☆18Aug 27, 2026Updated last month
- Gravatar Hovercards.☆16Jun 7, 2024Updated 2 years ago
- Da7em — a living digital practice: a single-file WebGL2 + Web Audio particle organism. Zero dependencies, no build step. Open source unde…☆24Aug 18, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 📑 a zed-inspired git client☆11Mar 21, 2025Updated last year
- Livepeer Community Transcoder Node's Grant Program☆10Feb 17, 2020Updated 6 years ago
- A transactional outbox for Go applications which use pgx.☆49Oct 19, 2026Updated last week
- REST based scheduler service☆12May 27, 2014Updated 12 years ago
- Security middleware to defend against SQL injection in Active Record.☆18Aug 4, 2025Updated last year
- A combination of examples to showcase GraphQL in Quarkus☆13Oct 15, 2025Updated last year
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- flag.txt file to deter AI agents☆79Updated this week
- A curated list and comprehensive guide of awesome reverse-engineered, decompiled, and rebuilt games powered by AI models and agentic tool…☆28Oct 12, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Timeline editor for react.☆15Aug 24, 2023Updated 3 years ago
- User interface with high level of deFi functionalities☆16Jan 24, 2023Updated 3 years ago
- Richmond JUG Oct 18 2017☆16Aug 29, 2018Updated 8 years ago
- A GitHub Action that uses Claude Code CLI to automatically find bugs in your PR☆26Aug 1, 2026Updated 2 months ago
- Abstraction for local and remote filesystems for nodejs, it is just tasty☆11May 27, 2022Updated 4 years ago
- ☆13Jun 14, 2023Updated 3 years ago
- Helper functions for exposing prettier changes within linting tools☆22Apr 2, 2026Updated 6 months ago
- Tiny utility for handling atomic CSS☆14Dec 30, 2022Updated 3 years ago
- ☆22Jul 10, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 用 git 命令点麦当劳：add 放购物车，rebase 凑最省，push 确认后才下单；card 生成 1024 吃麦贡献图（3D 汉堡天际线 / 年度小票）。基于麦当劳 MCP Server，附 --demo 无 Token 试玩和 Agent Skill。非官方参赛作…☆85Oct 13, 2026Updated last week
- CDC with Kafka, KSQL, akhq dashboard, schema registry, Debezium and Postgres☆14Mar 31, 2022Updated 4 years ago
- A Rodrigo Faro bot that matches people☆16Aug 18, 2026Updated 2 months ago
- A hierarchical multi-agent framework for exhaustive cross-document question answering.☆21Mar 14, 2026Updated 7 months ago
- A simple (and unfinished!!) database management system.☆21Jun 12, 2023Updated 3 years ago
- ☆14May 26, 2016Updated 10 years ago
- Python Project - License Plate Recognition with OpenCV and Tesseract OCR☆14Sep 4, 2019Updated 7 years ago
- A showcase of AWS serverless technology choices such as AWS Lambda, Amazon ECS with AWS Fargate, Amazon EventBridge, and AWS Step Functio…☆24May 22, 2023Updated 3 years ago
- ☆19Mar 23, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Compose provider plugin: docker compose up pulls secrets from AWS, Vault, 1Password and 30+ backends via helmfile/vals. No .env files.☆38Jul 20, 2026Updated 3 months ago
- ☆24Mar 14, 2023Updated 3 years ago
- python exception which you can resume☆18Jun 30, 2021Updated 5 years ago
- Core building blocks for voice agents with LangChainJS☆21Nov 27, 2025Updated 11 months ago
- API application featuring Node.js, Express and MongoDB☆17Feb 14, 2017Updated 9 years ago
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆38Sep 30, 2026Updated 3 weeks ago
- compile TypeScript or JavaScript to binaries☆21May 25, 2023Updated 3 years ago