Checkmate is a Spec Oracle Engine built for AI-driven development. It verifies that code changes made by autonomous agents actually deliver what your spec promised using real evidence.
☆53May 19, 2025Updated last year
Alternatives and similar repositories for checkmate
Users that are interested in checkmate 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 MCP server that provides web search capabilities using the Claude API.☆48May 10, 2025Updated last year
- ☆35Feb 22, 2026Updated 5 months ago
- a list of javascript modules for managing pull requests☆14Aug 23, 2017Updated 8 years ago
- A curated listing of quality videos about or related to the Ruby programming language.☆19Jun 9, 2015Updated 11 years ago
- Free interactive course to learn Claude Cowork - taught inside Cowork itself☆18Jan 17, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Claude Code skill for auditing your MEMORY.md index — size, orphans, broken links, staleness☆59Jun 27, 2026Updated 3 weeks ago
- Ask GPT to generate frontend based on Shadcn components☆15Mar 3, 2024Updated 2 years ago
- A Model Context Protocol (MCP) server that implements a "wisdom of crowds" approach to AI reasoning by consulting multiple state-of-the-a…☆193Jun 15, 2025Updated last year
- ☆12Nov 21, 2024Updated last year
- MCP to provide secure IT tools for AI network troubleshooting (remote ssh, ping, nslookup, etc)☆16Apr 20, 2025Updated last year
- PathRAG System - A Path-based Retrieval-Augmented Generation implementation with knowledge graph visualization and Ollama integration for…☆13Mar 3, 2025Updated last year
- ☆13Feb 28, 2023Updated 3 years ago
- FLUX: Format for LLM Understanding and eXchange☆16Nov 14, 2025Updated 8 months ago
- ☆21Dec 12, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Meta-Harness: End-to-End Optimization of LLM Harnesses — OpenClaw Agent Evolution System☆15Updated this week
- A simple AI developer agent☆24Jul 21, 2025Updated last year
- Smooth Animated Tabs/Nav-links built with React, Framer Motion and Tailwind CSS.☆11Apr 30, 2023Updated 3 years ago
- Setup scripts for using TensorBlock Forge with Claude Code - access any AI model through Claude's interface☆28Sep 4, 2025Updated 10 months ago
- ☆16Jul 17, 2025Updated last year
- Flatten migrations into one☆12May 22, 2023Updated 3 years ago
- Exploring GitHub Using Natural Language built with OpenAI Functions and Vercel AI SDK.☆24Jun 19, 2024Updated 2 years ago
- Thesis project about Visual Anomaly Detection based on Self Supervised Learning. The model identifies anomalies from information acquired…☆10Apr 14, 2023Updated 3 years ago
- 跟踪仓库的 Stargazers（加星用户），并将每日新增关注者发送到指定的飞书群。☆22Oct 22, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Consolidated UIColors used in the Artsy iOS Apps☆12Jul 21, 2022Updated 4 years ago
- ☆16Jun 15, 2026Updated last month
- Strict Red-Green-Refactor CLI gate for coding agents☆23May 28, 2026Updated last month
- ☆19Dec 12, 2024Updated last year
- The "kitchensink" implements all the interesting parts of RedwoodSDK. This is primarily used for demoes.☆26Oct 6, 2025Updated 9 months ago
- 🧠 Advanced Claude streaming interface with interleaved thinking, dynamic tool discovery, and MCP integration. Watch Claude think through…☆184Jun 14, 2025Updated last year
- Circular Geo fencing for react apps.☆16Feb 23, 2026Updated 5 months ago
- Source code for 'Pro Spark Streaming' by Zubair Nabi☆11Mar 27, 2017Updated 9 years ago
- A proactive tutor mode for Clicky☆103Apr 8, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Gophers is a tool you can use to scrape user information from a Github organisation or search results collection.☆20Apr 16, 2015Updated 11 years ago
- ☆18Nov 24, 2025Updated 8 months ago
- ☆25Mar 19, 2026Updated 4 months ago
- LarpManager - Spend time on the game, not spreadsheets☆21Updated this week
- A custom stateful button component designed to integrate seamlessly with shadcn/ui, providing visual feedback for loading/progress, succe…☆16Jan 4, 2026Updated 6 months ago
- notebooks for nlp-on-spark☆13Jan 27, 2017Updated 9 years ago
- DB::Evolve is to Ruby Migrations as React is to jQuery.☆10Jun 10, 2016Updated 10 years ago