Total words: 2089 | 2-word phrases: 529 | 3-word phrases: 604 | 4-word phrases: 652
| Title | Try to keep the title under 60 characters (15 characters) ProvablySafe.AI |
| Description | Try to keep the meta description between 50 - 160 characters (0 characters) |
| Keywords | Meta keywords are not recommended anymore (0 characters) |
| H1 | H1 tag on the page (15 characters) ProvablySafe.AI |
| # | Keyword | H1 | Title | Des | Volume | Position | Suggest | Frequency | Density |
|---|---|---|---|---|---|---|---|---|---|
| 1 | a | 49 | 16.12% | ||||||
| 2 | in | 48 | 15.79% | ||||||
| 3 | new | 43 | 14.14% | ||||||
| 4 | opens | 41 | 13.49% | ||||||
| 5 | tab | 38 | 12.50% | ||||||
| 6 | the | 24 | 7.89% | ||||||
| 7 | ai | 14 | 4.61% | ||||||
| 8 | and | 12 | 3.95% | ||||||
| 9 | on | 11 | 3.62% | ||||||
| 10 | events | 10 | 3.29% |
| # | URL | Whois | Check |
|---|---|---|---|
| 1 | https://github.com/provablysafeai | Whois | github.com |
| 2 | https://github.com/provablysafeai/website/issues/new | Whois | github.com |
| 3 | https://github.com/provablysafeai/website/tree/main/pages/index.mdx | Whois | github.com |
| 4 | https://www.aria.org.uk/wp-content/uploads/2024/01/ARIA-Safeguarded-AI-Programme-Thesis-V1.pdf | Whois | org.uk |
| 5 | https://provablysafeai.zulipchat.com | Whois | zulipchat.com |
| 6 | https://github.com/provablysafeai | Whois | github.com |
| 7 | https://twitter.com/ProvablySafeAI | Whois | twitter.com |
| 8 | https://groups.google.com/g/safe-by-design | Whois | google.com |
| 9 | https://atlascomputing.org/ | Whois | atlascomputing.org |
| 10 | https://far.ai/ | Whois | far.ai |
| 11 | https://www.lesswrong.com/tag/formal-proof?sortedBy=new | Whois | lesswrong.com |
| 12 | https://lean-lang.org/ | Whois | lean-lang.org |
| 13 | https://leanprover.zulipchat.com/ | Whois | zulipchat.com |
| 14 | https://leanprover.zulipchat.com/#narrow/stream/219941-Machine-Learning-for-Theorem-Proving | Whois | zulipchat.com |
| 15 | https://www.aria.org.uk/wp-content/uploads/2024/01/ARIA-Safeguarded-AI-Programme-Thesis-V1.pdf | Whois | org.uk |
| 16 | https://arxiv.org/abs/2309.01933 | Whois | arxiv.org |
| 17 | https://arxiv.org/abs/2402.05110 | Whois | arxiv.org |
| 18 | https://www.lesswrong.com/posts/qweXJ6v9heSn4wvdk/davidad-s-provably-safe-ai-architecture-aria-s-programme | Whois | lesswrong.com |
| 19 | https://www.lesswrong.com/posts/KX3Qwr7QM7CvhJLG6/provably-safe-ai | Whois | lesswrong.com |
| 20 | https://www.lesswrong.com/posts/WKGZBCYAbZ6WGsKHc/love-in-a-simbox-is-all-you-need | Whois | lesswrong.com |
| 21 | https://www.lesswrong.com/tag/open-agency-architecture | Whois | lesswrong.com |
| 22 | https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit | Whois | google.com |
| 23 | https://atlascomputing.org/ | Whois | atlascomputing.org |
| 24 | https://atlascomputing.org/events | Whois | atlascomputing.org |
| 25 | https://atlascomputing.org/ | Whois | atlascomputing.org |
| 26 | https://aisafetyeventstracker.substack.com/ | Whois | substack.com |
| 27 | https://forest.localcharts.org/oxford-topos-meeting-2024.xml | Whois | localcharts.org |
| 28 | https://www.youtube.com/watch?v=st9J6GefWeY | Whois | youtube.com |
| 29 | https://www.youtube.com/watch?v=xUNx_PxNHrY | Whois | youtube.com |
| 30 | https://www.youtube.com/watch?v=vEnysJ69Nto | Whois | youtube.com |
| 31 | https://www.youtube.com/watch?v=YhMwkk6uOK8 | Whois | youtube.com |
| 32 | https://github.com/provablysafeai/website/issues/new | Whois | github.com |
| 33 | https://provablysafeai.zulipchat.com/#narrow/stream/428550-org.2Fprovablysafeai.2Fmeta | Whois | zulipchat.com |
| 34 | https://agentofuser.com/ | Whois | agentofuser.com |
| 35 | https://orpheuslummis.info/ | Whois | orpheuslummis.info |
| 36 | https://provablysafeai.zulipchat.com/ | Whois | zulipchat.com |