huggingface.co
Space emoji (emoji-only character allowed).
clawdbot-formal-models
Repository of machine-checkable security models for Clawdbot, written primarily in TLA+ and checked with TLC. It functions as a security regression suite in which green models should pass and deliberately buggy red models should fail with a counterexample trace. Some checks are conformance-style, validating that the formal model matches Clawdbot's implementation constants.
GitHub repo Directory import
Features
- Machine-checkable security models for Clawdbot, primarily in TLA+ checked with TLC Source: github.com
Uses
- acts as a security regression suite Source: github.com
Links
Tags
-
0
Space emoji (emoji-only character allowed).
-
0Forefront is described as a platform to fine-tune and inference open-source language models. The site mentions building with open-source AI, fine-tuning models on data, and running inference through serverless API endpoints. It also describes storing training, validation and evaluation data in ready-to-fine-tune datasets. Pricing lists a free tier and a team plan at $99 per month, each including $20 in free credits.
-
0InferKit provides machine-learning models, research, training resources, or evaluation tools.
-
0Arena.ai is an X account describing itself as a place where AI meets the real world. It states that it measures and advances the frontier of AI through community-driven evaluation.
-
0Cortex is cloud infrastructure for machine learning at scale, used to deploy, manage and scale machine learning models in production. It supports realtime, async and batch serverless workloads, along with automated cluster management including cluster autoscaling and spot instances with on-demand backups. Environments, provisioning and CI/CD and observability integrations are also listed. A notice states the project is joining Databricks.
-
0WebNN is a web standard that lets web apps and frameworks accelerate deep neural networks using on-device hardware such as GPUs, CPUs, or purpose-built AI accelerators. The introduction states that in-browser inference supports local media sources, keeps user data on-device, and needs no network after initial asset caching.
Community notes
Reviews and discussion
No reviews yet
Be the first to share how this project worked for you.
Join the discussion
Sign in with a verified account to leave a review or join the discussion.
Sign in to reviewKeep exploring
More in Models & Machine Learning
forefront.ai
Forefront is described as a platform to fine-tune and inference open-source language models. The site mentions building with open-source AI, fine-tuning models on data, and running inference through serverless API endpoints. It also describes storing training, validation and evaluation data in ready-to-fine-tune datasets. Pricing lists a free tier and a team plan at $99 per month, each including $20 in free credits.
inferkit.com
InferKit provides machine-learning models, research, training resources, or evaluation tools.
x.com
Arena.ai is an X account describing itself as a place where AI meets the real world. It states that it measures and advances the frontier of AI through community-driven evaluation.
cortex.dev
Cortex is cloud infrastructure for machine learning at scale, used to deploy, manage and scale machine learning models in production. It supports realtime, async and batch serverless workloads, along with automated cluster management including cluster autoscaling and spot instances with on-demand backups. Environments, provisioning and CI/CD and observability integrations are also listed. A notice states the project is joining Databricks.
webmachinelearning.github.io
WebNN is a web standard that lets web apps and frameworks accelerate deep neural networks using on-device hardware such as GPUs, CPUs, or purpose-built AI accelerators. The introduction states that in-browser inference supports local media sources, keeps user data on-device, and needs no network after initial asset caching.