Specs that enforce themselves. Turn specs into contracts that can't be broken by helpful LLMs.
☆25Oct 9, 2026Updated this week
Alternatives and similar repositories for Specflow
Users that are interested in Specflow are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Evolution of the SPARC methodology☆20Sep 12, 2025Updated last year
- a formally verified agentic system for capability-bounded autonomous reasoning☆16Jul 31, 2026Updated 2 months ago
- Run, quantize, and fine-tune LLMs on Apple Silicon. Pure Rust, no Python, no CUDA, no ONNX☆42Updated this week
- Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no so…☆42Updated this week
- Obsidian-vault knowledge graph engine: immersive 3D + XR (WebXR/OpenXR, Godot), CUDA force physics, OWL 2 EL reasoning, and embodied agen…☆98Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆40Apr 14, 2026Updated 5 months ago
- ☆20Apr 9, 2026Updated 6 months ago
- The rules layer for AI-written code — rig-lite: a fail-closed cross-model review gate, a written constitution, git-versioned memory. Any …☆175Updated this week
- High-level details of the current development pipeline I'm using (this repo now deprecated)☆44Sep 16, 2026Updated 3 weeks ago
- Autonomous Wealth Builder for trading, and real estate☆26May 29, 2026Updated 4 months ago
- A Biologically-Inspired Cognitive Architecture for Artificial General Intelligence☆16May 10, 2026Updated 5 months ago
- ☆119Aug 10, 2025Updated last year
- Visual planning and context control for shipping big apps with AI coding. Build from scratch or map existing repos. Dossier maps user wor…☆89Jul 15, 2026Updated 2 months ago
- Weekly Vibecast Live coding sessions with rUv. Check branches for each week.☆46Sep 17, 2026Updated 3 weeks 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.
- An integrated chatbot based on RooVector to help you understand all agentic coding from rUvNet.☆15Jun 25, 2026Updated 3 months ago
- My vibe casting repository☆22Sep 23, 2026Updated 2 weeks ago
- Opinionated DevPod workspace configs for agentic engineering — Claude Code, shared secrets, VS Code extensions, ready on first launch.☆62Sep 2, 2026Updated last month
- SimpleAgents lets anyone vibe-code LLM agents and ship them production-ready. It’s Rust-first with Python/Node/Go bindings, multi-provide…☆34Jun 6, 2026Updated 4 months ago
- D.U.H. — D.U.H is a Universal Harness. Provider-agnostic AI coding agent.☆44Jun 29, 2026Updated 3 months ago
- starter pack for roo and sparc☆45May 9, 2025Updated last year
- Repo Explainer — turn any GitHub repo into a visual explainer page. Pipeline + 5 live examples.☆62Updated this week
- Nix-built sovereign agent container: did:nostr identities, RuVector memory, an Obsidian vault as the authored corpus with the Rune markdo…☆23Updated this week
- Cognitum community support — firmware releases, drivers, bug reports, feature requests☆24Sep 10, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Technology recommender for RuVector — 200+ AI/ML capabilities, 16 domains, 5 industry verticals. Matches problems to solutions via intent…☆26Jul 20, 2026Updated 2 months ago
- Agentic QE Fleet is an open-source AI-powered QA/QE platform designed for use with Coding Agents (works best with Claude Code) featuring …☆493Updated this week
- Pattern Space: Where Minds Dance Together☆85Updated this week
- ☆25Sep 10, 2025Updated last year
- Offline Batch Multi-world Simulation Runtime☆26Updated this week
- ☆53Sep 25, 2025Updated last year
- ☆30Jul 1, 2025Updated last year
- comprehensive skills based on the Anthropic Skills guide and our design and development philosophy☆446Updated this week
- A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-dr…☆61Oct 25, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Interactive claude-flow v3 orchestration coach skill - guides topology selection, agent deployment, memory config & intelligence layers. …☆23Feb 3, 2026Updated 8 months ago
- AISP (AI Symbolic Programming) v5.1 AI first, spec driven development. A proof-carrying protocol LLMs understand natively without instruc…☆177Jun 9, 2026Updated 4 months ago
- Every night, millions spend up to 45 minutes deciding what to watch — billions of hours lost every day. Not from lack of content, but fro…☆26Dec 8, 2025Updated 10 months ago
- A simple (but fast) graph database for python using zodb☆21Mar 3, 2018Updated 8 years ago
- AI Agentic API Testing Platform - Automated testing with specialized ephemeral agents☆46Jun 17, 2026Updated 3 months ago
- ☆11Mar 12, 2021Updated 5 years ago
- ☆10Aug 2, 2016Updated 10 years ago