☆198Feb 3, 2026Updated 5 months ago
Alternatives and similar repositories for clawdbot-formal-models
Users that are interested in clawdbot-formal-models 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 threads.com CLI for your agents, automations, and whatever you can imagine☆28Feb 1, 2026Updated 5 months ago
- Homebrew tap for openclaw☆43Updated this week
- Agent skill to control the Anova Precision Oven☆17Jan 24, 2026Updated 5 months ago
- Local runnable models for filtering out crypto shill content, AI replies, and other undesirable content☆70Apr 19, 2026Updated 3 months ago
- Setup Clawd Bot automatically on Orgo. Free.☆52Jan 24, 2026Updated 5 months 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.
- Similarity detection for Github Issues + AI code reviews☆61Dec 28, 2024Updated last year
- An AI-powered GitHub Action that helps moderate community interactions by enforcing contributing guidelines and codes of conduct.☆77Nov 20, 2025Updated 8 months ago
- CLI tools for managing a second brain + Lobster workflow pipelines☆85Feb 9, 2026Updated 5 months ago
- Capturing Screen Content In MacOS Apple sample code☆19Apr 17, 2024Updated 2 years ago
- stats.store - Fast, open, privacy-first analytics for Sparkle.☆58Updated this week
- Run Claude Code in isolated dev container and remotely connect via vibetunnel☆27Aug 1, 2025Updated 11 months ago
- Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding ag…☆48May 28, 2026Updated last month
- ☆29May 13, 2026Updated 2 months ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Aqua is a lightweight, agent-agnostic coordinator for CLI AI agents. It enables multiple AI agents (Claude Code, Codex CLI, Gemini CLI, o…☆24Mar 22, 2026Updated 3 months ago
- CLI to identify superseded PRs and reduce maintainer burden (starting with OpenClaw).☆44Feb 15, 2026Updated 5 months ago
- ☆138Jul 8, 2026Updated 2 weeks ago
- Telegram CLI☆55Mar 12, 2026Updated 4 months ago
- JSON files for mapping iOS, iPadOS, tvOS, watchOS, visionOS and macOS device identifiers to some human readable equivalent.☆38Mar 30, 2026Updated 3 months ago
- Agent observability and guardrails for OpenClaw — risk scoring, audit trails, dashboard.☆44Jul 1, 2026Updated 2 weeks ago
- Go client for Facebook's Watchman file watching service☆17May 20, 2026Updated 2 months ago
- ☆15Dec 6, 2023Updated 2 years ago
- Tiny lib for OSC 9;4 terminal progress.☆30Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- OpenClaw-ready macOS VMs☆531Mar 19, 2026Updated 4 months ago
- Inspired by https://simonwillison.net/2025/Nov/6/async-code-research/☆20Jul 13, 2026Updated last week
- Convenience gateway for disposable or reusable container workspaces with CLI, SSH, and JSON HTTP interfaces; starts/reuses targets, super…☆40Jul 14, 2026Updated last week
- QCP (Qualified C Programming), a C program verification tool☆40Updated this week
- Home Assistant CLI☆20Jul 14, 2026Updated last week
- Terminal UI and local CLI for crawling GitHub issues and pull requests, generating embeddings, and clustering related work.☆79Updated this week
- Auto formalization of the CLRS text book☆38Jul 8, 2026Updated 2 weeks ago
- Resist Chrome extension☆20Sep 4, 2025Updated 10 months ago
- CLI tool for accessing Oura Ring data☆15Jan 26, 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 comprehensive mcp server to post on x.com, with oauth v1 and v2, as well as v1.1 and v2 x API implementation☆21Jun 27, 2025Updated last year
- content generated by artificial intelligence☆18Aug 30, 2025Updated 10 months ago
- ☆17Jan 2, 2026Updated 6 months ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆16Aug 13, 2022Updated 3 years ago
- "Paste once, run once." — Trimmy flattens those multi-line shell snippets you copy so they actually paste and run.☆731Jul 1, 2026Updated 2 weeks ago
- Clawd's evil twin, Flawd☆41Jan 24, 2026Updated 5 months ago
- Microsoft Graph CLI - Mail, Calendar, OneDrive, To-Do, Contacts☆65Mar 6, 2026Updated 4 months ago