KochC KochC
- Frankfurt am Main und Umgebung
-
10:00
(UTC +02:00)
Stars
π« Toolkit to help you get started with Spec-Driven Development
Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)
Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.
π» A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
Official, Anthropic-managed directory of high quality Claude Code Plugins.
Python SDK for Agent AI Observability, Monitoring and Evaluation Framework. Includes features like agent, llm and tools tracing, debugging multi-agentic system, self-hosted dashboard and advanced a...
The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWA...
Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System, End-to-End Speech Translatio...
The property-based testing library for Python
Python-based continuous integration testing framework; your pull requests are more than welcome!
[JMLR 2026] "UQLM: A Python Package for Uncertainty Quantification in Large Language Models"
Span-level grounding verification for RAG, code, and tool-grounded AI outputs.
micro-ROS library for Platform.IO
Assorted files for my ESP32-S3 development boards
Agent Skills for traceable requirements, independent verification, human approval gates, and auditable AI-assisted engineering. Supports Claude Code, Cursor, VS Code, and GitHub Copilot; ISO 9001/2...
A private server OS made for everyone - simple, secure, versatile.
π Free course on deterministic AI verification and AISecOps. Learn fail-closed AI architecture, formal verification, audit integrity, MCP security, and trust-boundary engineering with QWED-AI.
Five Tests Standard (5TS): a vendor-neutral published standard for verifiable AI governance through proof-carrying decisions. Includes schemas, machine-checkable conformance vectors, and a referenc...
Agility infrastructure for regulated AI. Trace, Policy, Evidence under EU jurisdiction. Apache 2.0, on-premise capable.
Automatically create GitHub Issues for new arXiv papers in your research areas
An add on app for Home Assistant that makes Thread network monitoring and troubleshooting much easier
AI code verification engine β validates whether AI-generated code actually does what was intended. MCP Server + CLI + GitHub Action.