AI Skills for Antithesis Users
☆303Oct 30, 2026Updated this week
Alternatives and similar repositories for antithesis-skills
Users that are interested in antithesis-skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Property-based testing for web and terminal UIs☆1,572Oct 23, 2026Updated last week
- A CLI for the Antithesis platform☆32Updated this week
- Alchemy provider for self-hosted celld instances: systemd units, SeaweedFS object store, ten-port layout, restart gate. Topology is injec…☆56Oct 17, 2026Updated last week
- ☆80Jul 23, 2026Updated 3 months ago
- An agent skill for writing Hegel tests☆85Oct 13, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Property-based testing for Rust, built on Hypothesis☆402Oct 19, 2026Updated last week
- [experimental] An AI-first developer platform that you own. Overalls launches on 3 November 2026.☆1,619Updated this week
- 👑 Rat King: an encrypted, AT Protocol agent network. Pure rat-stack: Effect + Alchemy, deploys to Cloudflare and celld.☆40Updated this week
- Live Common Lisp image repair with OpenAI tools, persistent revisions, and a conversational CLI☆75Oct 7, 2026Updated 3 weeks ago
- Teach your agent to code like you☆22Updated this week
- Antithesis SDK for Rust☆37Aug 28, 2026Updated 2 months ago
- Universal property-based testing protocol, built on Hypothesis☆95Jul 1, 2026Updated 3 months ago
- Agent skills from Modem — starting with write-discoverable-code☆59Aug 19, 2026Updated 2 months ago
- The Elixir operating system☆20Oct 23, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An open source coding agent whose only tool is a durable code REPL, with tools and recursive subagents called from code. Forked from Open…☆37Oct 21, 2026Updated last week
- Property-based testing for Go☆107Updated this week
- github but better☆20Apr 30, 2026Updated 6 months ago
- Trail is a local-first, prolly tree backed operation database for code and text worktrees. Git records committed snapshots; Trail records…☆28Aug 13, 2026Updated 2 months ago
- ☆38Jun 11, 2026Updated 4 months ago
- Open format for specifying structured assumptions and requirements about code.☆99Sep 11, 2026Updated last month
- Virtual filesystem overlay built on event streams for state replay and time travel☆208Oct 23, 2026Updated last week
- A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts☆27Oct 10, 2026Updated 3 weeks ago
- A local proxy that scans LLM requests and attachments for secrets before they reach the model.☆122Oct 19, 2026Updated last week
- 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 curated list of awesome deterministic simulation testing resources 😎☆397Aug 2, 2026Updated 2 months ago
- ☆13Aug 5, 2026Updated 2 months ago
- Fold is an Effect-native, provider-agnostic, isomorphic agent core with an optional opinionated coding agent, CLI, and TUI. It supports m…☆172Oct 23, 2026Updated last week
- Clippy-style diagnostics for change-risk, complexity, coverage, and idiomatic code☆14Jul 23, 2026Updated 3 months ago
- Opinionated Oxlint rules for rejecting low-evidence TypeScript and JavaScript patterns☆5,774Oct 14, 2026Updated 2 weeks ago
- Property-based testing for TypeScript, built on Hypothesis☆78Oct 22, 2026Updated last week
- Lean 4 framework for reasoning about Triton-style kernels.☆29Updated this week
- Let the scripts your coding agent writes call your connected MCP servers (no extra auth)☆30Aug 19, 2026Updated 2 months ago
- self-hosted, distributed Durable Objects☆6,180Oct 21, 2026Updated last 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.
- underclass: an OpenAI-compatible pooling proxy that pins sessions to one account (prompt cache stays warm), cools quota-exhausted subscri…☆289Updated this week
- jev + fs = findme☆26Sep 19, 2026Updated last month
- ☆15Aug 20, 2025Updated last year
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆21Oct 23, 2026Updated last week
- Infrastructure as Effects☆1,792Updated this week
- Curated, runtime-neutral skills for coding agents (agentskills.io format): pragmatic, XP-minded, evidence-first.☆23Updated this week
- Exo is an agent + harness architecture that is fully recursive, able to safely edit all aspects of itself at runtime to get better at you…☆1,532Updated this week