Leanstral's fork of SafeVerify, which we use for code agent training and as part of our evaluation stack.
☆40Jul 3, 2026Updated 3 months ago
Alternatives and similar repositories for LeanstralSafeVerify
Users that are interested in LeanstralSafeVerify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An MCP server to read MCP logs to debug directly inside the client☆16May 3, 2025Updated last year
- Agent application/benchmark/workload traces should be placed here.☆17Apr 13, 2026Updated 5 months ago
- ☆17Jul 2, 2018Updated 8 years ago
- Understanding deep networks and large models.☆30Jan 23, 2026Updated 8 months ago
- A clean, single-file PyTorch implementation of Attention Residuals (Kimi Team, MoonshotAI, 2026), integrated with Grouped Query Attention…☆41Mar 16, 2026Updated 6 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Jan 22, 2026Updated 8 months ago
- #PINNING is a browser extension (currently TamperMonkey script) to improve Pinterest's desktop browsing UX☆18Aug 7, 2025Updated last year
- ☆14Apr 7, 2025Updated last year
- ☆17Apr 23, 2026Updated 5 months ago
- Mixture of Experts from scratch☆14Apr 12, 2024Updated 2 years ago
- ☆38Apr 3, 2026Updated 6 months ago
- AI Control evaluation library. Built natively on Inspect AI.☆17Feb 25, 2026Updated 7 months ago
- Self-host application can generate illustration from a novel by highlighting certain sentences☆13Oct 12, 2025Updated 11 months ago
- AI agents running research on Hugging Face infra☆179Mar 29, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 第二届计图人工智能挑战赛，基于Jittor的草图风景图像生成大赛☆10Jan 28, 2023Updated 3 years ago
- Voice to brain interface 🦞🎤🧠 for OpenClaw, Hermes, PI, etc☆24Sep 7, 2026Updated 3 weeks ago
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- An obfuscator bases on llvm for multiple language and platform☆19Jun 28, 2017Updated 9 years ago
- Rethinking the Trust Region in LLM Reinforcement Learning☆75Mar 2, 2026Updated 7 months ago
- Go SDK for Claude agents☆32Sep 8, 2026Updated 3 weeks ago
- Learn rule-based models from examples using LLM-powered synthesis. Replace expensive LLM calls with fast, deterministic, inspectable rege…☆34Updated this week
- A Hybrid Self-Cross Attention Network For Remote Sensing Change Detection☆16May 13, 2025Updated last year
- ☆34Dec 15, 2025Updated 9 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Config files for my GitHub profile.☆13Sep 28, 2024Updated 2 years ago
- Implementation of KlezVirus' silent moonwalk approach for payloads☆18Feb 13, 2026Updated 7 months ago
- IDA plugin that pulls code out of an exe file into an object file.☆19Oct 6, 2024Updated last year
- Optimized Analysis of Semantic Segmentation of Remote Sensing Images Based on FCN☆14Nov 4, 2022Updated 3 years ago
- A new dataset of difficult graduate-level applied mathematics problems; evaluations demonstrate that leading LLMs currently exhibit low a…☆30Feb 14, 2025Updated last year
- P2P distributed LLM inference on browsers☆24Apr 3, 2026Updated 6 months ago
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Sep 6, 2026Updated 3 weeks ago
- Implementation of Dat2Vec2.0 for vision☆18Feb 6, 2023Updated 3 years ago
- ☆14Apr 22, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A universal local-first sync platform for all documents, devices, and networks☆15Jun 27, 2026Updated 3 months ago
- 仿效 UNIX 文件管理系统的基于 Django 的网盘☆14Sep 1, 2018Updated 8 years ago
- A very hacky set of functions for getting plotly to do what I want when doing mech interp research, designed to be compatible with PyTorc…☆15Jun 16, 2023Updated 3 years ago
- ☆15Updated this week
- Radar-only 3D object detection on View-of-Delft. Reproduces & beats RadarPillars (IROS 2024) by +1.86 mAP. OpenPCDet-based, pretrained we…☆22Jun 21, 2026Updated 3 months ago
- Fault Localization using hybrid formulae for CS5704: Software Engineering project☆12May 8, 2018Updated 8 years ago
- Claude Code skill for evaluating packages and managing dependencies securely☆15Mar 8, 2026Updated 6 months ago