io.github.Jujitae/invaraai

INVARA

Verified · today

Independent verification that a change kept its declared constraints. No model in the verdict path.

Install

claude mcp add invara -- uvx invara

Our take

Invara is a verification-oriented server that checks whether a code change preserved declared constraints, with the notable claim that no model is involved in the verdict path. It is for users who want deterministic guardrails around changes rather than another generative assistant. The positioning is clear and technically interesting, but the project still looks very early from the available signals, so expectations around ecosystem maturity should stay modest.

reviewed by hand · 2026-08-24

Something wrong or dead here? Report it

Verification record

last verified
today
github stars
0
last commit
today
archived
no
license
Apache-2.0
in registry since
2026-08-23

github.com/Jujitae/invara

More in ai

browse all →
claude-flowai

claude-flow

Verified · 6 days ago

AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.

hand-reviewed68k starschecked 6 days ago

tldrawai

tldraw

Verified · 8 days ago

Draw and visually collaborate with your agents on tldraw's canvas.

hand-reviewed50k starschecked 8 days ago

codebase-memory-mcpai

Codebase Memory

Verified · today

Codebase knowledge graph for AI agents — 159 languages, sub-ms queries, 99% fewer tokens.

hand-reviewed40k stars11k dl/wkchecked today

openmetadata-mcpai

OpenMetadata

Verified · 20 days ago

Official OpenMetadata MCP: governed context and business semantics for AI assistants and agents.

hand-reviewed15k starschecked 20 days ago

mobilerunai

mobilerun

Verified · 9 days ago

Control real Android and iOS devices with LLM agents — tap, swipe, type, automate flows.

hand-reviewed9.1k starschecked 9 days ago

praisonaiai

PraisonAI

Verified · today

AI Agents Framework with Self Reflection and MCP support

hand-reviewed8.9k starschecked today