nomorevibe
言語: 日本語
ログインプロジェクトを紹介

Every AI-building team faces one question: can you trust what you're shipping? Snyk secures the code AI writes, the agents it runs, and the apps it builds. Get started for free or book a demo.

翻訳待ち

セキュリティ★ 5,710

Rocq is a general-purpose, industrial-strength interactive theorem prover.

翻訳待ち

開発ツール★ 5,667−2

517位cinnamon

A Linux desktop featuring a traditional layout, built from modern technology and introducing brand new innovative features.

翻訳待ち

その他★ 5,655+2

519位SkiaSharp

SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models t

翻訳待ち

開発ツール★ 5,642

520位ZenML Labs

Our AI engineer reads your agent's production traces next to the evals you already run, shows you what those evals miss, and turns a few of your answers into checks you can trust. It can fine-tune a c

翻訳待ち

開発ツール★ 5,635−1

522位Oh My Hermes

Power intelligence and agentic memory for Hermes Agent. One install, professional results.

翻訳待ち

開発ツール★ 5,630+74

This repository is for active development of the Azure SDK for Python. For consumers of the SDK we recommend visiting our public developer docs at https://learn.microsoft.com/python/azure/ or our vers

翻訳待ち

開発ツール★ 5,623

avoid-ai-writing catalogs the tells that give AI-generated text away. Here are three Chain of Thought conversations about the problem underneath it: plausibility, hallucination, and how you actually m

翻訳待ち

その他★ 5,622+10