diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f9ba0284..02898b64 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -24,7 +24,7 @@ jobs:
           enable-cache: true
 
       - name: Install dependencies
-        run: uv sync --group build
+        run: uv sync --group build --locked
 
       - name: Run tests
         run: make test
diff --git a/.github/workflows/deploy-website.yml b/.github/workflows/deploy-website.yml
index 8105c3cc..dd748bb5 100644
--- a/.github/workflows/deploy-website.yml
+++ b/.github/workflows/deploy-website.yml
@@ -31,7 +31,7 @@ jobs:
           enable-cache: true
 
       - name: Install dependencies
-        run: uv sync --group build
+        run: uv sync --group build --locked
 
       - name: Run tests
         if: github.event_name == 'schedule'
diff --git a/Makefile b/Makefile
index 8a0905f4..5b782549 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,7 @@
 export
 
 install:
-	uv sync
+	uv sync --locked
 
 fetch_github_stars:
 	uv run python website/fetch_github_stars.py
diff --git a/README.md b/README.md
index 63cd8f7b..77e829d9 100644
--- a/README.md
+++ b/README.md
@@ -135,6 +135,7 @@ _Libraries for building AI applications, LLM integrations, and autonomous agents
   - [sentry-skills](https://github.com/getsentry/skills) - Python-focused engineering skills for code review, debugging, and backend workflows.
   - [trailofbits-skills](https://github.com/trailofbits/skills) - Python-friendly security skills for auditing, testing, and safer backend development. Also [skills-curated](https://github.com/trailofbits/skills-curated).
 - Orchestration
+  - [ag2](https://github.com/ag2ai/ag2) - An open-source AgentOS for multi-agent orchestration and building agentic AI systems.
   - [autogen](https://github.com/microsoft/autogen) - A programming framework for building agentic AI applications.
   - [bub](https://github.com/bubbuild/bub) - A lightweight, hook-first Python framework for channel-native agents that live alongside people.
   - [crewai](https://github.com/crewAIInc/crewAI) - A framework for orchestrating role-playing autonomous AI agents for collaborative task solving.
@@ -607,7 +608,7 @@ _Tools of static analysis, linters and code quality checkers. Also see [awesome-
   - [rope](https://github.com/python-rope/rope) - Rope is a python refactoring library.
 - Type Checkers - [awesome-python-typing](https://github.com/typeddjango/awesome-python-typing)
   - [mypy](https://github.com/python/mypy) - Check variable types during compile time.
-  - [pyre-check](https://github.com/facebook/pyre-check) - Performant type checking.
+  - [pyrefly](https://github.com/facebook/pyrefly) - A fast type checker and language server for Python.
   - [ty](https://github.com/astral-sh/ty) - An extremely fast Python type checker and language server.
   - [typeshed](https://github.com/python/typeshed) - Collection of library stubs for Python, with static types.
 - Type Annotations Generators
diff --git a/pyproject.toml b/pyproject.toml
index 19abd760..06e008be 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -29,3 +29,10 @@ pythonpath = ["website"]
 
 [tool.ruff]
 line-length = 200
+
+[tool.uv]
+exclude-newer = "3 days"
+no-build = true
+
+[tool.uv.pip]
+only-binary = [":all:"]
diff --git a/uv.lock b/uv.lock
index ab136dee..88d2b273 100644
--- a/uv.lock
+++ b/uv.lock
@@ -2,6 +2,10 @@ version = 1
 revision = 3
 requires-python = ">=3.13"
 
+[options]
+exclude-newer = "2026-04-18T18:21:23.412234Z"
+exclude-newer-span = "P3D"
+
 [[package]]
 name = "anyio"
 version = "4.12.1"