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 9 months ago
Alternatives and similar repositories for checkmate
Users that are interested in checkmate are comparing it to the libraries listed below
Sorting:
- uses all reasoning models in parallel and synthesizes an answer with o1. also has multi-chat where you can chat with any of them☆40Jan 23, 2025Updated last year
- Meta-Cognitive Workflow Architecture☆238Mar 20, 2025Updated 11 months ago
- Sample app demonstrating iOS 26 Liquid Glass in SwiftUI with a quote card, expandable action buttons, and smooth symbol transitions.☆40Aug 14, 2025Updated 6 months ago
- Deep Learning Part 2, 2019 edition - transcriptions, screenshots and notebooks☆11Jul 19, 2019Updated 6 years ago
- ☆12Aug 19, 2023Updated 2 years ago
- Persistent memory system for AI coding assistants via MCP. Works with Claude Code, Cursor, Copilot, Windsurf, Cline.☆52Updated this week
- A chrome extension that completes coursera courses in one click. Now no need to waste your valuable time in watching those nonsense video…☆20Jul 14, 2025Updated 7 months ago
- Slack bot for Vanna AI☆40Jan 14, 2024Updated 2 years ago
- ☆11Jul 14, 2025Updated 7 months ago
- A MCP server that provides web search capabilities using the Claude API.☆50May 10, 2025Updated 9 months ago
- Smooth Animated Tabs/Nav-links built with React, Framer Motion and Tailwind CSS.☆10Apr 30, 2023Updated 2 years ago
- Transitmap is an interactive realtime visualisation of all public transport in Sweden.☆11Jun 6, 2025Updated 8 months ago
- Chrome extension for Amazon SQP Bulk downloader☆14Feb 10, 2024Updated 2 years ago
- ☆13Dec 18, 2023Updated 2 years ago
- Attempt to understand Percy Liang's Dependency-based Compositional Semantics by implementing it in Python☆10Mar 10, 2013Updated 12 years ago
- ☆12Nov 21, 2024Updated last year
- An artificial music generation project☆11Nov 27, 2020Updated 5 years ago
- Git-native prompt management and testing framework for production LLM workflows☆18Jul 2, 2025Updated 8 months ago
- A Multi-Model AI Assistant - Chatbot☆11Jul 14, 2023Updated 2 years ago
- Private, offline-first FIRE calculators☆35Jan 9, 2026Updated last month
- Course Info for VIP-GEAI☆11Apr 11, 2024Updated last year
- This includes 2 separate tutorial series for OpenAI swarm library each 10 files from basic to advanced☆14Jan 14, 2025Updated last year
- A Feedback Board to Manage Work☆15Aug 8, 2024Updated last year
- A rake task to interactive create a GraphQL Schema for Rails☆11Nov 2, 2016Updated 9 years ago
- there are no winners☆21Mar 7, 2025Updated 11 months ago
- ☆13Aug 12, 2024Updated last year
- D3 Map of India☆10Jul 29, 2014Updated 11 years ago
- ☆12Apr 19, 2024Updated last year
- Web Scraper + Sentiment Analysis + Notifying System = Social Sensor! 🕵️♂️📊📲 Get instant alerts about your online mentions. Manage you…☆12Aug 22, 2024Updated last year
- Splice and merge videos from the terminal☆25Oct 4, 2025Updated 5 months ago
- Tiny Bolt ⚡️ app demonstrating how to build Slack apps utilizing Slack's new features and New Relic APIs☆13Nov 25, 2019Updated 6 years ago
- Simple affiliate link injector chrome extension. It inserts the affiliate ID into the Amazon URLs.☆13Apr 25, 2024Updated last year
- ☆25Dec 9, 2025Updated 2 months ago
- Collection of useful slash commands for Claude Code CLI☆29Feb 21, 2026Updated last week
- Foundational Models for State-of-the-Art Speech and Text Translation☆11Sep 13, 2023Updated 2 years ago
- Merak ettiğiniz bir konuyu yazın veya bir soru sorun, ai agent'lar sizin için cevabı birçok kaynağı tarayarak getirsin.☆14Dec 17, 2023Updated 2 years ago
- stream-of-consciousness experience of an AI's thinking process, complete with creative tangents and unexpected connections.☆14Jan 29, 2025Updated last year
- Experimentation on google's gemma model☆16Mar 6, 2024Updated last year
- In this small project we will predict the email that in which folder it will go in spam or primary.☆11Jul 5, 2016Updated 9 years ago