A semantic engineering framework for building verifiable and traceable software.
☆28Oct 29, 2026Updated this week
Alternatives and similar repositories for reqvire
Users that are interested in reqvire are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 面向中文学习者与工程实践的开源 SysML v2 一体化学习平台，集课程、在线建模、模型验证、AI 辅导、工程案例与知识包扩展于一体。An open, all-in-one SysML v2 learning lab for modeling, validation, AI…☆18Oct 13, 2026Updated 2 weeks ago
- S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fu…☆11Nov 20, 2018Updated 7 years ago
- ruOS — an agentic desktop (a desktop that runs itself): computer-use MCP server + ruvnet-stack skills.☆19Aug 31, 2026Updated 2 months ago
- A simple and extensible state machine implementation in Rust☆10Feb 16, 2026Updated 8 months ago
- A CLI-first autonomous coding agent where the actor never grades itself. Every edit is grounded in your repo's real topology and verified…☆24Oct 19, 2026Updated last week
- 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.
- Open Source SysML v2 Implementation in Go☆50Updated this week
- 🤖 🧰 Agent Skills — Create, manage, and execute reusable code-based tool compositions for AI agents.☆18Oct 18, 2026Updated last week
- Graph-based tool retrieval for LLM agents — 248 tools → 82% accuracy, 79% fewer tokens. Zero dependencies. OpenAPI / MCP / LangChain.☆17Oct 8, 2026Updated 3 weeks ago
- ruvnet-only control plane for running an AI-agent company end-to-end — org-chart, budget-gated heartbeats, approval gates, signed audit t…☆20Updated this week
- A MoE expert separation workbench for building, testing, and routing smaller specialist models with MetaHarness, Ruflo, and LatentMesh st…☆14Sep 5, 2026Updated last month
- Consistent dev environments anywhere. Define once in YAML, deploy to Docker, Fly.io, or DevPod. Pre-built extensions for AI, languages & …☆16Updated this week
- A curated list of awesome model-driven engineering resources.☆23Sep 21, 2024Updated 2 years ago
- Eclipse Lyo, a Java SDK for OSLC-based tool integration☆26Updated this week
- ios-scroll-lock React Package☆12Jul 12, 2025Updated last year
- 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.
- Lightweight TUI dashboard for Claude Code token usage, agent sessions, and system resources. Go.☆16Oct 23, 2026Updated last week
- OpenAVO is an open harness for long horizon autonomous reasoning, combining prediction, memory, supervision, verification, and adaptive a…☆18Aug 22, 2026Updated 2 months ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 3 years ago
- CXSimulator: A User Behavior Simulation using LLM Embeddings for Web-Marketing Campaign Assessment [Kasuga+, CIKM'24]☆12Oct 18, 2024Updated 2 years ago
- A typed, hash-verifiable ledger of who-owns-what, sitting underneath a codebase so that many agents (or people) can work in parallel with…☆12Updated this week
- Open-source infrastructure for production AI agents☆17Jun 28, 2026Updated 4 months ago
- An MCP to ACP (Agent Client Protocol) Bridge☆12Feb 1, 2026Updated 8 months ago
- A high-performance, transactional Outbox pattern implementation for Rust applications☆17Jul 28, 2026Updated 3 months ago
- Local evidence, deterministic memory and Tool Flow for coding agents. Honest V3 benchmarks and an Electron companion.☆24Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- herdr-gamepad fork: full Xbox Series X|S support (hat-switch D-pad, triggers, Share) + a Claude Code supervisor layout☆10Sep 9, 2026Updated last month
- Your personal GitHub registry for AI Agent Skills. One repo. EVERY agent. EVERY device. Loaded on demand — Zero startup bloat.☆23Sep 28, 2026Updated last month
- A terminal application UI framework, written in Rust.☆16Oct 23, 2026Updated last week
- The focused markdown writer for desktop.☆15Sep 11, 2026Updated last month
- Customize any Electron app live with Claude Code, Codex, or any other Coding Agent.☆11May 3, 2026Updated 5 months ago
- Model Based Systems Engineering productivity tool to automatically create and manage changes in Cameo MagicDraw models utilizing user-def…☆36Aug 25, 2023Updated 3 years ago
- PHART: Python Hierarchical ASCII Rendering Tool - A Pure Python library and console CLI tool that renders graphs (NetworkX, GraphML, Gra…☆30Oct 19, 2026Updated last week
- Browse your Claude Code session history in a beautiful chat interface☆12Nov 27, 2025Updated 11 months ago
- MCP server for Paperless-ngx — lets AI agents like Claude search, upload, tag, and organize your documents, with optional local semantic …☆16Oct 22, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Claude Code pipeline that analyzes text corpora and produces voice-replication prompts☆14Feb 27, 2026Updated 8 months ago
- A complete set of requirements—covering UX, CLI, and code—that builds on the previous pipeline for training and optimizing ONNX models wi…☆25Sep 11, 2026Updated last month
- Local-first archive, semantic search, and continuation for AI conversations across ChatGPT, Claude, Gemini, Grok, OpenRouter, LM Studio a…☆15Oct 3, 2026Updated 3 weeks ago
- Master's Thesis: Test-Driven AI Development - Minimizing code regressions in AI agents using TDD and GraphRAG☆17Mar 18, 2026Updated 7 months ago
- ☆33Oct 24, 2026Updated last week
- Unified Rust workspace for the trusty-* AI developer-tooling ecosystem: hybrid code search, memory palace, code analysis, PR review, and …☆22Updated this week
- Hyperspherical Contrastive Representations Unlock Planning and Exploration☆16Oct 20, 2026Updated last week