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:
- Extended GitHub MCP Server with additional tools for pull request review comment functionality☆22Apr 1, 2025Updated last year
- FLUX: Format for LLM Understanding and eXchange☆16Nov 14, 2025Updated 7 months ago
- ☆16Jul 17, 2025Updated 10 months ago
- Foundational Models for State-of-the-Art Speech and Text Translation☆11Sep 13, 2023Updated 2 years ago
- ☆50Jun 6, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- uses all reasoning models in parallel and synthesizes an answer with o1. also has multi-chat where you can chat with any of them☆41Jan 23, 2025Updated last year
- Contains RabbitMQ-based transport for establishing a net of loosely coupled microservices with a simple RPC-style calling interface using…☆10May 21, 2026Updated 3 weeks ago
- A MCP server that provides web search capabilities using the Claude API.☆48May 10, 2025Updated last year
- The "kitchensink" implements all the interesting parts of RedwoodSDK. This is primarily used for demoes.☆26Oct 6, 2025Updated 8 months ago
- OpenClaw skill for Genviral Partner API - autonomous content creation, slideshow generation, analytics, multi-platform posting☆40May 21, 2026Updated 3 weeks ago
- The repo for the RAG course on Takeoff.☆34Nov 23, 2024Updated last year
- ☆20Sep 25, 2024Updated last year
- ⚛️ Global State for React☆19Dec 19, 2025Updated 5 months ago
- A decision operating system for high-stakes choices — business, strategy, career. Simulates disagreement, stress-tests assumptions, and c…☆84May 6, 2026Updated last month
- 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.
- ☆22Dec 12, 2024Updated last year
- Droid code review☆45Nov 7, 2025Updated 7 months ago
- This project contains the original white paper for Language Construct Modeling (LCM) v1.13, authored by Vincent Shing Hin Chong. It intro…☆15Jul 23, 2025Updated 10 months ago
- The application allows users to record speech, transcribe it using the Whisper ASR (Automatic Speech Recognition) model, translate the tr…☆14Dec 4, 2023Updated 2 years ago
- ☆26Dec 9, 2025Updated 6 months ago
- Deep Learning Part 2, 2019 edition - transcriptions, screenshots and notebooks☆11Jul 19, 2019Updated 6 years ago
- Meta-Cognitive Workflow Architecture☆239Mar 20, 2025Updated last year
- ☆73Feb 13, 2026Updated 4 months ago
- Smooth Animated Tabs/Nav-links built with React, Framer Motion and Tailwind CSS.☆11Apr 30, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lokal Webpack Plugin, works with NextJS and all webpack-based dev server.☆15Aug 12, 2024Updated last year
- Well thought ranker for tweets☆17Nov 29, 2024Updated last year
- A full featured School Management System build with Laravel. Mobile Apps Ready. API First Design.☆44Updated this week
- Source code for 'Pro Spark Streaming' by Zubair Nabi☆11Mar 27, 2017Updated 9 years ago
- ☆13Aug 12, 2024Updated last year
- Scripts created by AI Agents to use as tools for data collection. These are examples of Inforensics JITT (Just-In-Time Tool) Agent.☆15Jul 7, 2024Updated last year
- Some realistic tabular datasets for testing (CSV)☆21Mar 7, 2018Updated 8 years ago
- Course Info for VIP-GEAI☆11Apr 11, 2024Updated 2 years ago
- WordPress starter theme that uses gulp, Bower, and Materialize☆12Jun 12, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A collection of real-time detection methods built with Tinybird. Methods include rate-of-change, out-of-range, timeout, Z-score, and Inte…☆17Jun 4, 2024Updated 2 years ago
- ☆37May 9, 2025Updated last year
- ☆11Oct 8, 2015Updated 10 years ago
- notebooks for nlp-on-spark☆13Jan 27, 2017Updated 9 years ago
- Attempt to understand Percy Liang's Dependency-based Compositional Semantics by implementing it in Python☆10Mar 10, 2013Updated 13 years ago
- Very Fast YouTube to MP3 & MP4 Converter API☆22Apr 17, 2023Updated 3 years ago
- DataForSEO API modelcontextprotocol server☆216Updated this week