Revise README for clarity and additional information

profile/README.md

@@ -2,21 +2,31 @@
 
 ### What is Antithesis?
 
-Antithesis is an **autonomous testing platform** that finds bugs in your software **with perfect reproducibility** to help you fix them. Read more about what [problems Antithesis solves](https://antithesis.com/solutions/problems_we_solve/) and how [we have helped companies like yours](https://antithesis.com/solutions/case_studies/)!
+Antithesis de-risks agentic development of critical systems. Our platform runs your complete system, exhaustively analyzes its behavior, and exposes bugs as quickly as agents introduce them. We arm your team with a root cause and a perfect reproduction of every issue found.
+
+We discover the bugs others miss -- without human review, false positives, or risking production.
+
+Read more about what [problems Antithesis solves](https://antithesis.com/solutions/problems_we_solve/) and how [we have helped companies like yours](https://antithesis.com/solutions/case_studies/)!
 
 ### Ready to get started?
 
 Reach out to us via [the "contact us" form](https://antithesis.com/contact/)
 
+Or join our [public Discord server](https://discord.gg/antithesis).
+
 ## What's here?
 
+#### Antithesis for Agents
+
+The easiest way to get started with Antithesis is to [use our Agent skills](https://github.com/antithesishq/antithesis-skills). The skills will help you plan which properties to test, harness your software, deploy to antithesis, and even triage reports!
+
 #### Dev Workflow
 
 Antithesis users get the most value when their organization's CI is working smoothly with Antithesis. You can use our [GitHub Action](https://github.com/marketplace/actions/antithesis-trigger-action) to trigger an Antithesis test suite based on your development workflow. View [the source](https://github.com/antithesishq/antithesis-trigger-action) to see how it works.
 
 #### SDKs
 
-Take full control of your testing destiny! Integrating Antithesis into your code [via the SDK](https://antithesis.com/docs/using_antithesis/sdk/) will give the greatest control over what properties Antithesis will test for. SDKs are available for:
+Take full control of your testing destiny! Integrating Antithesis into your code [via the SDK](https://antithesis.com/docs/using_antithesis/sdk/) will give you the greatest control over which properties Antithesis tests. SDKs are available for:
 
 * [Rust](https://github.com/antithesishq/antithesis-sdk-rust): [Documentation](https://antithesis.com/docs/using_antithesis/sdk/rust/)
 * [Go](https://github.com/antithesishq/antithesis-sdk-go): [Documentation](https://antithesis.com/docs/using_antithesis/sdk/go/)
@@ -26,8 +36,18 @@ Take full control of your testing destiny! Integrating Antithesis into your code
 * [.NET](https://github.com/antithesishq/antithesis-sdk-net): [Documentation](https://antithesis.com/docs/using_antithesis/sdk/dotnet_sdk/) - [beta]
 * [JavaScript/TypeScript](https://github.com/antithesishq/antithesis-sdk-typescript): [Documentation](https://antithesis.com/docs/using_antithesis/sdk/javascript_sdk/) - [beta]
 
-#### Utilities
+#### Open Source Software (OSS)
+
+Antithesis maintains the following general-purpose OSS projects for the benefit of the community.
+
+##### Hegel
+
+Hegel is a universal property-based testing protocol and family of libraries, built on top of Hypothesis. [Visit Hegel's website to learn more](https://hegel.dev/).
+
+##### Bombadil
+
+Property-based testing for web UIs, autonomously exploring and validating correctness properties, and finding harder bugs earlier. [Visit the repo to learn more](https://github.com/antithesishq/bombadil).
 
-Antithesis contributes general purpose OSS to the community. We will add libraries to this list as they become available.
+##### Other projects
 
 * [Madness](https://github.com/antithesishq/madness) - Enables you to easily run the same binary on NixOS and non-NixOS systems