README.md gets a catalog of the org

Author: TheBenCollins

profile/README.md

@@ -1,25 +1,33 @@
-## What is [Antithesis](https://www.antithesis.com/)?
+## [Antithesis](https://www.antithesis.com/): Ship boldly, break nothing
 
-Antithesis is a **continuous reliability platform** that **autonomously searches** for problems in your software within a **simulated environment**. Every problem we find can be **perfectly reproduced**, allowing for **efficient debugging** of even the most complex problems.
+### What is Antithesis?
 
-#### Continuous reliability platform
+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 is a cloud platform that continuously tests the reliability of software systems. As your developers write code, they push their software (as container images) to Antithesis. We run your software under a variety of conditions, and report any unintended behavior. We test your system against a multitude of predefined properties, and also work with your team to define additional test properties specific to your system.
+### Ready to get started?
 
-#### Autonomous searching
+Reach out to us via [the "contact us" form](https://antithesis.com/contact/)
 
-Each time your developers push new code, Antithesis starts running it and searching for problems. As your system runs, faults (such as network retries, thread hangs, or node restarts) are artificially injected, and your software's behavior is analyzed. When Antithesis notices interesting or rare behavior, it makes a copy of the system state and explores many possible futures from that point.
+## What's here?
 
-Any path that increases code coverage, or produces rare log messages, is more intensely explored. This branching happens many thousands of times in each test run.
+#### Dev Workflow
 
-#### Simulated environment
+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.
 
-Antithesis performs each test run in a simulated environment, which we provision and manage automatically. This environment contains your entire service architecture, and uses virtualization to simulate all hardware and network components in the system. Customer production systems are never involved, so intense fault-injection can be performed with no risk of downtime.
+#### SDKs
 
-#### 100% reproducibility
+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:
 
-The Antithesis simulation environment is fully deterministic (meaning any state in a test run can always be reached again), so all problems it finds can always be reproduced. This means that there are no flaky tests, and that rare production mysteries can be pinned down and diagnosed. Not only is the moment of the problem recorded, every moment leading up to the problem can also be replayed. This remains true even weeks or months after the test run.
+* [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/)
+* [Java](https://github.com/antithesishq/antithesis-sdk-java): [Documentation](https://antithesis.com/docs/using_antithesis/sdk/java/)
+* [C++](https://github.com/antithesishq/antithesis-sdk-cpp): [Documentation](https://antithesis.com/docs/using_antithesis/sdk/cpp/)
+* [Python](https://github.com/antithesishq/antithesis-sdk-python): [Documentation](https://antithesis.com/docs/using_antithesis/sdk/python/)
+* [.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]
 
-#### Efficient debugging
+#### Utilities
 
-Antithesis's perfect determinism allows for truly unique debugging methods. These include the ability to arbitrarily rewind time from the moment of an incident, change inputs, examine system state, or enable additional logging. Moreover, counterfactual histories of the issue can be explored, like slightly perturbing the history and seeing if the issue still occurs. This massively accelerates root-cause analysis and increases developer velocity.
+Antithesis contributes general purpose OSS to the community. We will add libraries to this list as they become available.
+
+* [Madness](https://github.com/antithesishq/madness) - Enables you to easily run the same binary on NixOS and non-NixOS systems