Utils for immutable data structures Records & Tuples
TypeScript SDK for Invariance Protocol - secure execution layer for autonomous agents
Shared types and constants for Invariance Protocol
gps CLI — codebase context for coding agents.
A Model Context Protocol (MCP) server for Kuzu graph databases. Enables LLMs like Claude to execute Cypher queries and analyze graph data with path invariance support.
Thin Anthropic SDK wrapper for gps's LLM-assisted commands (postmortem, attach, pr-intent).
Shared types and schemas for gps. Source of truth for CLI, MCP, and HTTP surfaces.
Parser, resolver, graph store, and query layer for gps.
MCP server for gps — exposes get_context/impact_of/tests_for/invariants_for/prepare_edit to coding agents.
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
> TODO: description
A Rust crate providing type-safe, validated configuration to prevent runtime crashes from invalid config data.
Multi-language semantic code analysis library — tree-sitter fact extraction for DataGrout Invariant
Semantic code analysis CLI for the AI era — powered by DataGrout
Helps code authors define and use invariants
Invariants, constraints, invariant checks, and constraint check results for HigherGraphen.
Causal consistency at nanosecond latency. Algebraic invariants without coordination.
Spec-first, cancel-correct, capability-secure async runtime for Rust.
compile-time checked builder generator with run-time invariant enforcement
Macros for safely interacting with DST newtypes
LLM-powered fuzzing assistant for Solidity smart contracts — generates, runs, and iterates invariant tests with Foundry
Stateful property testing DSL for Protest - test state machines, concurrent systems, and complex APIs
CI/CD authority graph analyzer: how credentials, tokens, and artifacts propagate across pipelines—implicit trust-boundary breaks and non-obvious privilege escalation. Graph-first; not a YAML linter, generic scanner, or policy engine.
Document your code invariants
An Invariable bundles a number of read-only attributes. It can be used like a Hash as well as an Array. It supports subclassing and pattern matching.
Assert utility for ruby. It lets you code your assumptions and code invariants, so they are checked automatically. It can be deactivated, so you it doesn't affect to your program performance (for example, in production).
A tool for automatic extraction and verification of Rails formal models. Just include it in your Gemfile, write a few invariants, setup Spass and `rake verify`!
Supports invariant, precondition, postcondition, and derived attributes using a Ruby DSL.