toolchain.json

{
  "schema_version": 1,
  "nixpkgs": "github:NixOS/nixpkgs/8ce4ef6cb6f871616146b9fe26d2a5ae594e94fe",
  "kepler_formal_mcp": {
    "repository": "https://github.com/keplertech/kepler-formal-mcp.git",
    "revision": "b66e0ee7ca83635300ab7b602a6ba7611a34c1d6",
    "version": "0.1.0"
  },
  "openroad": {
    "installable": "github:NixOS/nixpkgs/b6018f87da91d19d0ab4cf979885689b469cdd41#openroad",
    "cache": "https://cache.nixos.org",
    "version": "2.0-unstable-2025-03-01",
    "source_revision": "e794373d44ac5421f0633d8dda7e5c59e8fe79bf",
    "verified_cached_outputs": {
      "x86_64-linux": "/nix/store/4861psjhq43pid5pa9jbp6bvq0b18fnm-openroad-2.0-unstable-2025-03-01"
    }
  },
  "python": {"nixpkgs_attribute": "python313"},
  "python_packages": {
    "najaeda": "0.7.24",
    "naja-scope": "0.1.11",
    "kepler-formal": "0.5.0",
    "mcp": "1.30.0",
    "PyYAML": "6.0.3"
  },
  "gcd": {
    "fixture_revision": "a9147cf3aebe65e058bb3fa89c1f9e524488dbb8",
    "historical_openroad_image": "openroad/orfs@sha256:751a77afcade9882b51427e6d9d079b8e270e7a8f4aa66df2d0659457d1c29fd"
  }
}