Forall (∀) is a coding harness from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
☆577Oct 11, 2026Updated this week
Alternatives and similar repositories for forall-mcp
Users that are interested in forall-mcp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kubernetes-native sandbox platform to run AI agents, coding assistants and harnesses.☆55Oct 5, 2026Updated last week
- Circuit Framework — multi-agent LLM trading research system☆281Jul 16, 2026Updated 2 months ago
- Provider-pluggable orchestration runtime for multi-model AI inference. ( Sakana Fugu style )☆170Jul 16, 2026Updated 2 months ago
- Prompt-as-Code for Enterprise AI. Standardize, audit, and deploy instructions across any AI coding assistant.☆386Updated this week
- A Mac vault that runs authenticated actions for AI agents over MCP. The agent gets the operation, never the key: no command reveals a sto…☆193Jul 19, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- MCP server for the Live Tennis API — give Claude, Cursor and other LLM agents real-time tennis scores, odds and model win-probability☆152Updated this week
- Agent Execution Partnership AEE is an open-source control plane that ensures every AI agent action is authorized before it runs, observab…☆147Jul 22, 2026Updated 2 months ago
- A universal, industry-neutral taxonomy of cognitive core skills (perception, memory, reasoning, planning, action, verification, learning,…☆158Jul 5, 2026Updated 3 months ago
- ☆261Sep 23, 2026Updated 2 weeks ago
- Ridiculous speed. Readable code.☆311Updated this week
- ☆79Oct 19, 2025Updated 11 months ago
- Battle-tested boilerplate that helped me launch multiple web & mobile apps — now open source. Real-time Convex backend, Clerk SSO, Stripe…☆343Jul 10, 2026Updated 3 months ago
- Forge is the open-source runtime for Anthropic's Agent Skills standard — built for the agent that runs next to a service, in your environ…☆223Updated this week
- Self-hosted AI SRE for Kubernetes — zero-instrumentation eBPF observability plus a copilot that fixes issues through guardrailed, self-ve…☆126Jul 29, 2026Updated 2 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.
- Universal, model-agnostic operating harness for AI agents (Claude, Codex, Gemini, …) — a lean core + work-type profiles assembled by one …☆177Updated this week
- Self-improving, AI-native markdown vault you hand to an AI agent. GitHub-style file tree + Notion editing, exposed to Claude/Cursor via a…☆168Aug 18, 2026Updated last month
- Open-source app builder engine — intent to working app☆306Updated this week
- The black box for AI-written code. Passive decision graph linking every commit to the agent prompts behind it: drift detection, DLP audit…☆322Sep 9, 2026Updated last month
- Machine Genome is an open identity and provenance protocol for models, agents, harnesses, datasets, and the artifacts that connect them.☆152Sep 22, 2026Updated 3 weeks ago
- Autonomous AI research swarm — runs ~100 overnight LLM training experiments unattended. Fork of karpathy/autoresearch with Digital Cognit…☆266Jun 30, 2026Updated 3 months ago
- Local-first AI coding agent for VS Code & Cursor. Ollama, LM Studio & your inference fleet. Cursor-grade agent UX — offline, private, zer…☆133Jul 7, 2026Updated 3 months ago
- Forward deployed engineering skills for AI coding agents.☆959Updated this week
- Clipboard manager for Windows — AI transforms, OCR, fuzzy search, 8 themes☆224Sep 9, 2026Updated last month
- 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.
- A reference operating model for organizations where any role can be filled by a human or an agent, every process is built for agents firs…☆169Sep 12, 2026Updated last month
- psx style shader and effects for threeJs☆66Jul 18, 2026Updated 2 months ago
- ServiceNow MCP server: 500+ tools and 26 AI capabilities for any AI (Claude, ChatGPT, Gemini, Cursor, Copilot). Multi-transport (stdio, S…☆267Sep 23, 2026Updated 2 weeks ago
- EasyLastSkill ist eine deutschsprachige Codex-/Agent-Skill fuer schnelle Recherchen zu den letzten Tagen eines Themas. Standardmaessig be…☆122Jul 8, 2026Updated 3 months ago
- A set of communication oriented environments☆785Updated this week
- Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, v…☆452Sep 30, 2026Updated last week
- GPU worker client for the Talos network. Pairs with your Talos account, serves open-model inference jobs over a WebSocket, and reports up…☆684Jul 8, 2026Updated 3 months ago
- Let your agents read, send, and react to email autonomously, without human involvement☆265Sep 27, 2026Updated 2 weeks ago
- TON MCP server for Claude, ChatGPT, Cursor, Codex and any MCP client — liteserver queries over native ADNL: balances, account state, tran…☆27Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Jul 21, 2026Updated 2 months ago
- Agent OS: keep specialist agents in a hub, spin up a temporary orchestrator per task. Local-first, works with any model.☆1,579Updated this week
- Keep your Kubernetes clusters in kilter — self-hosted cost optimization: usage learning, rightsizing, safe bin-packing consolidation. Ope…☆29Aug 26, 2026Updated last month
- Attributed, resolvable artifact references for agent handoffs — a ~30-byte token instead of pasted context. MCP-native; the reference lay…☆646Jul 20, 2026Updated 2 months ago
- Registry-as-ground-truth verification & autonomous research framework for agent-driven development.☆67Jul 13, 2026Updated 3 months ago
- CLI agent-readiness measurement, command-shape inference, and CI scorecards☆469Aug 2, 2026Updated 2 months ago
- Open, MIT context format for AI coding agents: centralized .aigx/ rules + a per-file boundary index that targets the right rules, forbidd…☆145Sep 21, 2026Updated 3 weeks ago