{"id":9604,"date":"2026-10-29T15:32:38","date_gmt":"2026-10-29T15:32:38","guid":{"rendered":"https:\/\/silvybrand.com\/?p=9604"},"modified":"2026-10-29T15:32:38","modified_gmt":"2026-10-29T15:32:38","slug":"software-verification-is-the-hot-new-answer-to-the-ai-safety-crisis","status":"publish","type":"post","link":"https:\/\/silvybrand.com\/?p=9604","title":{"rendered":"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself"},"content":{"rendered":"<p><br \/>\n<\/p>\n<div>\n<p class=\"paywall\">Earlier this year, Apple\u2019s security team <a data-offer-url=\"https:\/\/security.apple.com\/blog\/formal-verification-corecrypto\/\" class=\"external-link text link\" data-event-click=\"{&quot;element&quot;:&quot;ExternalLink&quot;,&quot;outgoingURL&quot;:&quot;https:\/\/security.apple.com\/blog\/formal-verification-corecrypto\/&quot;}\" href=\"https:\/\/security.apple.com\/blog\/formal-verification-corecrypto\/\" rel=\"nofollow noopener\" target=\"_blank\">said<\/a> that some of the issues formal verification uncovered in its \u201ccorecrypto\u201d library, which is used for encryption, could not have been found any other way. But the company added that it has to be \u201cconservative\u201d when adding new code to corecrypto to ensure it can keep pace with reviewing it.<\/p>\n<p class=\"paywall\">Two cybersecurity executives at major companies that haven\u2019t formally verified any code say they aren\u2019t sure whether automation will make it worthwhile. But the executives, who weren\u2019t authorized to speak publicly, say they could imagine paying major AI labs for \u201cverified\u201d AI-generated code.<\/p>\n<p class=\"paywall\">Developers of open source software projects, which are the bedrock of many apps, are increasingly experimenting with AI-aided verification. The nonprofit Beneficial AI Foundation used <a data-offer-url=\"https:\/\/claude.com\/contact-sales\/claude-for-oss\" class=\"external-link text link\" data-event-click=\"{&quot;element&quot;:&quot;ExternalLink&quot;,&quot;outgoingURL&quot;:&quot;https:\/\/claude.com\/contact-sales\/claude-for-oss&quot;}\" href=\"https:\/\/claude.com\/contact-sales\/claude-for-oss\" rel=\"nofollow noopener\" target=\"_blank\">a grant from Anthropic<\/a> to validate the same encryption code this year as Sun did at Stanford. Michael Rosenberg, a maintainer of the library known as curve25519-dalek, hopes sustainable funding emerges for ongoing verification efforts. \u201cI have no ideas as to how that\u2019s going to happen, though, and we certainly shouldn\u2019t rely on the goodwill of the AI companies,\u201d he says.<\/p>\n<p class=\"paywall\">Some of the startups eager to expand verification also aren\u2019t sure whether to deploy their tools directly to customers or through intermediaries like Anthropic. Their general plan is to use AI to automate much of the work involved in defining how a program is supposed to behave. For example, specifications for a data table might require that it contain the same items before and after sorting, just in a different order. Further automation efforts, which may not involve AI, would translate that code into a format that math <a href=\"https:\/\/www.wired.com\/story\/mit-crashproof-computer\/\" class=\"text link\">tools<\/a> like Lean, Rocq, and Isabelle can use to check whether the code works as intended.<\/p>\n<p class=\"paywall\">Another recent entrant to the formal verification field is Madan Musuvathi, who left Microsoft Research after more than 20 years to found the startup Truidic. After incidents like the <a href=\"https:\/\/www.wired.com\/story\/openai-sued-over-the-hugging-face-hack\/\" class=\"text link\">OpenAI hack of Hugging Face<\/a>, he felt there was an urgent need to commercialize his studies. \u201cAI in the hands of attackers can be extremely powerful,\u201d Musuvathi says, but verification can \u201cmake AI safe and secure for everyone, everywhere.\u201d<\/p>\n<p class=\"paywall\">Proofcraft, one of the few companies that has long offered traditional verification, says growing excitement about the process is translating into a flood of inquiries from potential customers. June Andronick, the company\u2019s CEO, and Gerwin Klein, its chief scientist, say interest easily outpaces what they and their competition can provide.<\/p>\n<p class=\"paywall\">But both worry that AI-generated specifications could inspire \u201cunjustified trust\u201d in the results. Verifiers are also eager to preserve the joy their work brings them. Klein calls it \u201cpretty addictive, like a puzzle game.\u201d If all goes well, he\u2019ll be doing more solving than ever.<\/p>\n<\/div>\n<p><br \/>\n<br \/><a href=\"https:\/\/www.wired.com\/story\/software-verification-is-the-hot-new-answer-to-the-ai-safety-crisis\/\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Earlier this year, Apple\u2019s security team said that some of the issues formal verification uncovered in its \u201ccorecrypto\u201d library, which is used for encryption, could not have been found any other way. But the company added that it has to be \u201cconservative\u201d when adding new code to corecrypto to ensure it can keep pace with [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":9605,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9],"tags":[83,1580,707,250,350,451,354],"class_list":["post-9604","post","type-post","status-publish","format-standard","has-post-thumbnail","category-gadgets","tag-artificial-intelligence","tag-code","tag-coding","tag-cybersecurity","tag-hacking","tag-math","tag-startups"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.8 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself - Silvybrand Lifestyle Blog<\/title>\n<meta name=\"description\" content=\"A new startup called &amp;Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/silvybrand.com\/?p=9604\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself - Silvybrand Lifestyle Blog\" \/>\n<meta property=\"og:description\" content=\"A new startup called &amp;Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/silvybrand.com\/?p=9604\" \/>\n<meta property=\"og:site_name\" content=\"Silvybrand Lifestyle Blog\" \/>\n<meta property=\"article:published_time\" content=\"2026-10-29T15:32:38+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/silvybrand.com\/wp-content\/uploads\/2026\/10\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"670\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/webp\" \/>\n<meta name=\"author\" content=\"SILVYBRAND\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"SILVYBRAND\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604\"},\"author\":{\"name\":\"SILVYBRAND\",\"@id\":\"https:\\\/\\\/silvybrand.com\\\/#\\\/schema\\\/person\\\/8bdc6818a5b6ef5b9745e468818e37f3\"},\"headline\":\"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself\",\"datePublished\":\"2026-10-29T15:32:38+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604\"},\"wordCount\":479,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/silvybrand.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp\",\"keywords\":[\"artificial intelligence\",\"code\",\"coding\",\"cybersecurity\",\"hacking\",\"math\",\"startups\"],\"articleSection\":[\"Gadgets\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/silvybrand.com\\\/?p=9604#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604\",\"url\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604\",\"name\":\"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself - Silvybrand Lifestyle Blog\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/silvybrand.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp\",\"datePublished\":\"2026-10-29T15:32:38+00:00\",\"description\":\"A new startup called &amp;Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/silvybrand.com\\\/?p=9604\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604#primaryimage\",\"url\":\"https:\\\/\\\/silvybrand.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp\",\"contentUrl\":\"https:\\\/\\\/silvybrand.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp\",\"width\":1280,\"height\":670},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/silvybrand.com\\\/?p=9604#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/silvybrand.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/silvybrand.com\\\/#website\",\"url\":\"https:\\\/\\\/silvybrand.com\\\/\",\"name\":\"Silvybrand Lifestyle Blog\",\"description\":\"Your daily dose of lifestyle, fashion, travel, beauty, and inspiration \u2014 living boldly, stylishly, and confidently.\",\"publisher\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/silvybrand.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/silvybrand.com\\\/#organization\",\"name\":\"Silvybrand Lifestyle Blog\",\"url\":\"https:\\\/\\\/silvybrand.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/silvybrand.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/silvybrand.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/SILVYBRAND-LOGO.jpg\",\"contentUrl\":\"https:\\\/\\\/silvybrand.com\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/SILVYBRAND-LOGO.jpg\",\"width\":1115,\"height\":522,\"caption\":\"Silvybrand Lifestyle Blog\"},\"image\":{\"@id\":\"https:\\\/\\\/silvybrand.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/silvybrand.com\\\/#\\\/schema\\\/person\\\/8bdc6818a5b6ef5b9745e468818e37f3\",\"name\":\"SILVYBRAND\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e7db54afd7d090e59e1a481fd3e6812d467eb2a3b81e7a3092023acfc59a496b?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e7db54afd7d090e59e1a481fd3e6812d467eb2a3b81e7a3092023acfc59a496b?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e7db54afd7d090e59e1a481fd3e6812d467eb2a3b81e7a3092023acfc59a496b?s=96&d=mm&r=g\",\"caption\":\"SILVYBRAND\"},\"sameAs\":[\"https:\\\/\\\/silvybrand.com\"],\"url\":\"https:\\\/\\\/silvybrand.com\\\/?author=1\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself - Silvybrand Lifestyle Blog","description":"A new startup called &amp;Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/silvybrand.com\/?p=9604","og_locale":"en_US","og_type":"article","og_title":"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself - Silvybrand Lifestyle Blog","og_description":"A new startup called &amp;Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.","og_url":"https:\/\/silvybrand.com\/?p=9604","og_site_name":"Silvybrand Lifestyle Blog","article_published_time":"2026-10-29T15:32:38+00:00","og_image":[{"width":1280,"height":670,"url":"https:\/\/silvybrand.com\/wp-content\/uploads\/2026\/10\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp","type":"image\/webp"}],"author":"SILVYBRAND","twitter_card":"summary_large_image","twitter_misc":{"Written by":"SILVYBRAND","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/silvybrand.com\/?p=9604#article","isPartOf":{"@id":"https:\/\/silvybrand.com\/?p=9604"},"author":{"name":"SILVYBRAND","@id":"https:\/\/silvybrand.com\/#\/schema\/person\/8bdc6818a5b6ef5b9745e468818e37f3"},"headline":"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself","datePublished":"2026-10-29T15:32:38+00:00","mainEntityOfPage":{"@id":"https:\/\/silvybrand.com\/?p=9604"},"wordCount":479,"commentCount":0,"publisher":{"@id":"https:\/\/silvybrand.com\/#organization"},"image":{"@id":"https:\/\/silvybrand.com\/?p=9604#primaryimage"},"thumbnailUrl":"https:\/\/silvybrand.com\/wp-content\/uploads\/2026\/10\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp","keywords":["artificial intelligence","code","coding","cybersecurity","hacking","math","startups"],"articleSection":["Gadgets"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/silvybrand.com\/?p=9604#respond"]}]},{"@type":"WebPage","@id":"https:\/\/silvybrand.com\/?p=9604","url":"https:\/\/silvybrand.com\/?p=9604","name":"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself - Silvybrand Lifestyle Blog","isPartOf":{"@id":"https:\/\/silvybrand.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/silvybrand.com\/?p=9604#primaryimage"},"image":{"@id":"https:\/\/silvybrand.com\/?p=9604#primaryimage"},"thumbnailUrl":"https:\/\/silvybrand.com\/wp-content\/uploads\/2026\/10\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp","datePublished":"2026-10-29T15:32:38+00:00","description":"A new startup called &amp;Truth is joining the race to automate formal verification, a painstaking process that uses math to prove software works as intended.","breadcrumb":{"@id":"https:\/\/silvybrand.com\/?p=9604#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/silvybrand.com\/?p=9604"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/silvybrand.com\/?p=9604#primaryimage","url":"https:\/\/silvybrand.com\/wp-content\/uploads\/2026\/10\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp","contentUrl":"https:\/\/silvybrand.com\/wp-content\/uploads\/2026\/10\/Business_Software20Verification20Is20the20Hot20New20Answer20to20the20AI20Safety20Crisis_v.webp","width":1280,"height":670},{"@type":"BreadcrumbList","@id":"https:\/\/silvybrand.com\/?p=9604#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/silvybrand.com\/"},{"@type":"ListItem","position":2,"name":"The \u2018Pain in the Ass\u2019 Math That Could Save Vibe Coding From Itself"}]},{"@type":"WebSite","@id":"https:\/\/silvybrand.com\/#website","url":"https:\/\/silvybrand.com\/","name":"Silvybrand Lifestyle Blog","description":"Your daily dose of lifestyle, fashion, travel, beauty, and inspiration \u2014 living boldly, stylishly, and confidently.","publisher":{"@id":"https:\/\/silvybrand.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/silvybrand.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/silvybrand.com\/#organization","name":"Silvybrand Lifestyle Blog","url":"https:\/\/silvybrand.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/silvybrand.com\/#\/schema\/logo\/image\/","url":"https:\/\/silvybrand.com\/wp-content\/uploads\/2026\/05\/SILVYBRAND-LOGO.jpg","contentUrl":"https:\/\/silvybrand.com\/wp-content\/uploads\/2026\/05\/SILVYBRAND-LOGO.jpg","width":1115,"height":522,"caption":"Silvybrand Lifestyle Blog"},"image":{"@id":"https:\/\/silvybrand.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/silvybrand.com\/#\/schema\/person\/8bdc6818a5b6ef5b9745e468818e37f3","name":"SILVYBRAND","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/e7db54afd7d090e59e1a481fd3e6812d467eb2a3b81e7a3092023acfc59a496b?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/e7db54afd7d090e59e1a481fd3e6812d467eb2a3b81e7a3092023acfc59a496b?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/e7db54afd7d090e59e1a481fd3e6812d467eb2a3b81e7a3092023acfc59a496b?s=96&d=mm&r=g","caption":"SILVYBRAND"},"sameAs":["https:\/\/silvybrand.com"],"url":"https:\/\/silvybrand.com\/?author=1"}]}},"_links":{"self":[{"href":"https:\/\/silvybrand.com\/index.php?rest_route=\/wp\/v2\/posts\/9604","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/silvybrand.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/silvybrand.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/silvybrand.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/silvybrand.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=9604"}],"version-history":[{"count":0,"href":"https:\/\/silvybrand.com\/index.php?rest_route=\/wp\/v2\/posts\/9604\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/silvybrand.com\/index.php?rest_route=\/wp\/v2\/media\/9605"}],"wp:attachment":[{"href":"https:\/\/silvybrand.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=9604"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/silvybrand.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=9604"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/silvybrand.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=9604"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}