Version: v0.7 Draft
Status: Proposed human-led operating protocol for coding agents
Author: Timur Yusupov, PhD
SABRE is a compact way to use coding agents without letting one agent write, explain, and bless its own change.
Core rule:
| <script> | |
| export default { | |
| mounted(){ | |
| this.alasql("CREATE TABLE cities (city string, population number)"); | |
| this.alasql("INSERT INTO cities VALUES ('Rome',2863223),('Paris',2249975),('Berlin',3517424),('Madrid',3041579)"); | |
| var res = this.alasql("SELECT * FROM cities WHERE population < 3500000 ORDER BY population DESC"); | |
| console.log(res); | |
| } | |
| } | |
| </script> |
| #!/usr/bin/env bash | |
| # Step 1: Fill in EMAIL, TOKEN, DOMAIN and SUBDOMAIN. Your API token is here: https://www.cloudflare.com/a/account/my-account | |
| # Make sure the token is the Global token, or has these permissions: #zone:read, #dns_record:read, #dns_records:edit | |
| # Step 2: Create an A record on Cloudflare with the subdomain you chose | |
| # Step 3: Run "./ddns.sh -l" to get the zone_id and rec_id of the record you created. | |
| # Fill in ZONE_ID and REC_ID below | |
| # This step is optional, but will save you 2 requests every time you this script | |
| # Step 4: Run "./ddns.sh". It should tell you that record was updated or that it didn't need updating. | |
| # Step 5: Run it every hour with cron. Use the '-s' flag to silence normal output |
| #!/usr/bin/env bash | |
| # Step 1: Fill in EMAIL, TOKEN, DOMAIN and SUBDOMAIN. Your API token is here: https://dash.cloudflare.com/profile/api-tokens | |
| # Make sure the token is the Global token, or has these permissions: #zone:read, #dns_record:read, #dns_records:edit | |
| # If you want to set the root domain instead of a subdomain, set SUBDOMAIN to "@" | |
| # Step 2: Create an A record on Cloudflare with the subdomain you chose | |
| # Step 3: Run "./ddns.sh -l" to get the zone_id and rec_id of the record you created. | |
| # Fill in ZONE_ID and REC_ID below | |
| # This step is optional, but will save you 2 requests every time you run this script | |
| # Step 4: Run "./ddns.sh". It should tell you that record was updated or that it didn't need updating. |