Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
☆112Apr 4, 2026Updated 6 months ago
Alternatives and similar repositories for tla-precheck
Users that are interested in tla-precheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Single-file agent goal ledger for Claude Code and Codex CLI - pairs with /goal mode☆71May 19, 2026Updated 5 months ago
- Outcome-first plus directional language. A two-layer skill for writing prompts, agent directives, and skill descriptions. Works in Claude…☆144May 21, 2026Updated 5 months ago
- Delegate tasks to OpenAI Codex agents via tmux sessions. Designed for Claude Code orchestration.☆357May 28, 2026Updated 5 months ago
- Build validated web research processes through self-annealing loops. 138 patterns tested, 90%+ accuracy. Works with Claude Code, Clay, an…☆70Oct 6, 2026Updated 3 weeks ago
- A bridge to help connect a brand new iCloud account to Facetime audio for voice to voice agent action☆102Aug 29, 2026Updated 2 months ago
- 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.
- A light framework for building agentic tools.☆28Jan 24, 2025Updated last year
- AI Agent for Spreadsheet☆15Sep 18, 2025Updated last year
- Repeatable multi-turn Codex refactor loop. ⭐️ star if you like it! ⭐️☆83May 4, 2026Updated 5 months ago
- Transform an Obsidian vault into PARA + Zettelkasten structure using DSPy and RLM☆119Mar 24, 2026Updated 7 months ago
- First AI assistant with holographic memory☆398Apr 15, 2026Updated 6 months ago
- ☆18Jan 26, 2026Updated 9 months ago
- Interactive form tool for pi-agent to gather user responses with keyboard navigation, themes, and image attachments☆314Oct 23, 2026Updated last week
- Short installer for the CaMeL-integrated Hermes build☆13Mar 30, 2026Updated 7 months ago
- Claude Code plugin that maps and documents codebases of any size using parallel AI subagents☆804May 13, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Codex/Claude skill that maintains per-repo operating theory documents.☆192Feb 28, 2026Updated 8 months ago
- Distil SN97 — Competitive Model Distillation on Bittensor☆35May 20, 2026Updated 5 months ago
- Doomscroll your way to knowledge. An infinite-scroll feed of core engineering concepts, styled like X/Twitter.☆25Apr 20, 2026Updated 6 months ago
- A recursive coding agent inpired by RLMs☆391Jun 22, 2026Updated 4 months ago
- Vibe Dumper automates the process of discovering Supabase instances in JavaScript files and testing their security posture. If a JWT toke…☆12Jan 25, 2026Updated 9 months ago
- Making sure your context is clean.☆85Oct 11, 2026Updated 2 weeks ago
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- Shared, persistent memory for AI coding agents. One project brain across machines and IDEs. Perfect for projects and teams.☆15May 28, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The harness for your harness. Local hooks, taste enforcement, and developer observability for AI coding agents (Claude Code, Codex, Curso…☆182Updated this week
- Agentic FUSE filesystem for LLM agents. Structured file operations with JSON feedback, audit logging, undo support, and semantic search.☆14Updated this week
- a recursive self-improving harness designed to help your agents (and future iterations of those agents) succeed on any task☆1,315Updated this week
- CLI for Recursive Language Models (arXiv:2512.24601)☆211Jun 17, 2026Updated 4 months ago
- ☆51Apr 24, 2026Updated 6 months ago
- Protocols that improve when reality pushes back — a public human-AI research program.☆15Jul 18, 2026Updated 3 months ago
- Agent-native, evidence-grade operating substrate for turning owner-authorized drone video into metrically honest semantic digital twins☆34Updated this week
- Implementation of the extism plugin system using wasmer for both web and native.☆15May 14, 2025Updated last year
- ☆13Oct 15, 2026Updated 2 weeks 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.
- Parser of Solana snapshots + API☆15Oct 2, 2026Updated 3 weeks ago
- Agent-first, zero-dependency, self-maintaining codebase documentation & change tracking system. LLM-operated wiki with health matrix, sem…☆13Oct 22, 2026Updated last week
- Terminal braille rendering library for images, animation, and expressive CLI graphics.☆12Oct 7, 2026Updated 3 weeks ago
- Hacker News in your terminal☆47Aug 23, 2026Updated 2 months ago
- MAZE (Massive Argumented Zonal Environments) machine learning framework☆11Mar 29, 2025Updated last year
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 12 years ago
- Experimental system to expose accessibility trees as read-write interfaces and augment existing apps with new UI affordances.☆30Oct 8, 2026Updated 3 weeks ago