Find, prove and control the AI agents on your machines: discovers every agent and what it can reach, proves policies with Z3 + TLA+, enforces them deterministically outside the model.
☆19Oct 5, 2026Updated last week
Alternatives and similar repositories for csl-core
Users that are interested in csl-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neuro-Symbolic-Causal AI - Project Chimera | 🌌 An open research project exploring formal verification of AI agent decisions, combining s…☆57Feb 20, 2026Updated 7 months ago
- A comprehensive AI & ML project portfolio from the University of Texas at Austin PG Program, demonstrating real-world data science and ma…☆18Jan 25, 2026Updated 8 months ago
- The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.☆22Aug 31, 2026Updated last month
- Master the AI agent lifecycle for social impact. This workshop moves from low-code UI in Microsoft Copilot Studio to pro-code scaling in …☆16Apr 9, 2026Updated 6 months ago
- An MCP server for searching and downloading stock photography.☆28Sep 21, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A curated list of tools, frameworks, standards, and resources for EU AI Act compliance and AI governance☆21Sep 26, 2026Updated 2 weeks ago
- AI 原生多租户 SaaS 开发框架 — FastAPI + Vue 3 + PostgreSQL，内置 AI Agent、RAG、插件系统、RBAC、异步任务等核心能力，助力快速构建行业 SaaS 应用。☆26Sep 19, 2026Updated 3 weeks ago
- Transform Git history: rewrite, clean, and optimize your repositories with ease.☆22Jun 27, 2026Updated 3 months ago
- ☆23Mar 30, 2026Updated 6 months ago
- Consume a stream of data into a binary Buffer as efficiently as possible☆12Jun 21, 2018Updated 8 years ago
- An open source tool for detecting website blocks, downdetecting, and network analysis☆25Oct 5, 2026Updated last week
- Write-ups cho một số bài trên Reversing.kr☆15Mar 24, 2023Updated 3 years ago
- Use Claude Code, Codex, OpenCode, Cline for free — one local gateway to 14+ free LLM providers. OpenAI & Anthropic compatible.☆40Aug 18, 2026Updated last month
- Modular “skill” files for AI coding agents working on medical device software☆29May 21, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Deep learning-based flower classification system using CNN architectures for image recognition and classification. Trained and evaluated …☆20Sep 20, 2026Updated 3 weeks ago
- implement of NoProp-CT☆29May 2, 2025Updated last year
- A chromium docker container for web-based kiosks and dashboards running on a Raspberry Pi.☆11Mar 14, 2015Updated 11 years ago
- A minimalistic parser for the Gherkin syntax☆11Mar 6, 2023Updated 3 years ago
- Executable security regression testing for agentic applications and MCP-integrated systems.☆53Jul 27, 2026Updated 2 months ago
- Create HTTP APIs with a plugin system that runs in the server and the browser.☆11Jul 16, 2023Updated 3 years ago
- Denock intercepts HTTP calls to allow mocking response from third parties API☆10Nov 7, 2023Updated 2 years ago
- Enforce required parameters or options in ES6.☆12Dec 2, 2016Updated 9 years ago
- Helper tool for German visa appointments (RK-Termin): watches for free slots, solves the captcha, notifies on Telegram and can book autom…☆18Aug 16, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A modular and automated installer for deploying an Ethereum node using Reth and Lighthouse, including system setup, firewall rules, secur…☆12Mar 31, 2025Updated last year
- A simple embedded programming language☆21Apr 30, 2026Updated 5 months ago
- Modulo para Nodejs que obtiene la Tasa de cambio representativa del mercado (TRM) para Colombia☆14Jun 3, 2020Updated 6 years ago
- ☆15Nov 12, 2018Updated 7 years ago
- ☆10Nov 16, 2023Updated 2 years ago
- ☆28Jan 15, 2026Updated 8 months ago
- Another Node.js Server framework to create microservices☆10Sep 23, 2026Updated 2 weeks ago
- Bool.js API Core☆10Dec 30, 2022Updated 3 years ago
- Experiments on Linux Assembly shellcodes injection☆13Nov 21, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Easy Node.JS Git wrapper with support for arbitrary SSH keys☆15Aug 11, 2017Updated 9 years ago
- Libra ⇔ ETH atomic swaps implementation☆11Dec 8, 2020Updated 5 years ago
- Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state befo…☆60Oct 1, 2026Updated last week
- Distributed stream processing layer☆20Dec 8, 2022Updated 3 years ago
- The “ixlist” is a linked list in a vector☆12Sep 14, 2017Updated 9 years ago
- Tasking 2.0☆17Nov 1, 2021Updated 4 years ago
- This repo hosts an MCP server for volatility3.x☆52Jul 9, 2025Updated last year