tla-plus

Here are 4 public repositories matching this topic...

nForma-AI / nForma

Multi-agent coding orchestrator with quorum consensus and formal verification (TLA+, Alloy, PRISM) for Claude Code, OpenCode, and Gemini CLI. Fewer hallucinations, fewer blind spots, mathematically proven protocols.

mcp opencode devtools quorum formal-methods alloy software-verification multi-agent-systems tla-plus autonomous-agent ai-agent meta-prompting gemini-cli claude-code context-engineering

Updated Aug 18, 2026
JavaScript

Shubha-fm / TLA-Analyzer

Star

Web tool that turns TLA+ specs into actionable requirements, rewrites NFRs into TLA+ monitors, and runs proof checks via a backend.

react express formal-methods verifications requirements-engineering nodej tla-plus vite tlaps tailwi apalache

Updated Sep 18, 2025
JavaScript

aygp-dr / liquidus-overlay

Star

A ⌘J command-palette overlay for the Solidus admin, with commands derived from the pinned Solidus OpenAPI contract and a TLA+-checked state model

javascript overlay solidus command-palette openapi formal-methods keyboard-shortcuts admin-tools tla-plus cloudflare-workers

Updated Jul 1, 2026
JavaScript

Harp404 / Space

Star

Autonomous, trustless, formally-verified air-traffic-control for orbit — real-time conjunction screening, AI-driven collision avoidance, and decentralized maneuver consensus on a live CesiumJS digital twin. Built for FAR AWAY 2026.

golang vue hackathon space sgp4 satellites cesiumjs collision-avoidance orbital-mechanics digital-twin tla-plus space-debris ai-agent conjunction-screening

Updated Aug 23, 2026
JavaScript

Add this topic to your repo

To associate your repository with the tla-plus topic, visit your repo's landing page and select "manage topics."

Learn more