Amazon announces Agent Skills for Automated Reasoning policies in Amazon Bedrock, a suite of six open-format skills that guide coding agents through the full lifecycle of building, testing, deploying, and validating Automated Reasoning policies.
From the source
That approach gives you mathematical certainty that AI responses comply with your rules.
aws.amazon.com