Skip to content

Navigation Menu

Sign in
Sign up
@KochC
KochC
Follow
View KochC's full-sized avatar
🎯
Focusing

KochC KochC

🎯
Focusing
Systems Engineer | Engineering products from circuit to cloud.

Block or report KochC

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
28 stars written in Python
Clear filter

πŸ’« Toolkit to help you get started with Spec-Driven Development

Python 133,772 12,040 Updated Sep 4, 2026

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Python 78,100 9,500 Updated Aug 14, 2026

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.

Python 69,192 5,364 Updated Sep 7, 2026

πŸ’» A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

Python 65,127 4,790 Updated Mar 23, 2026

Official, Anthropic-managed directory of high quality Claude Code Plugins.

Python 35,994 4,027 Updated Sep 7, 2026

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...

Python 16,160 3,568 Updated Feb 11, 2026

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...

Python 13,156 2,788 Updated Sep 4, 2026

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...

Python 12,680 1,959 Updated Aug 12, 2026

The property-based testing library for Python

Python 8,944 674 Updated Sep 6, 2026

Python-based continuous integration testing framework; your pull requests are more than welcome!

Python 5,472 1,673 Updated Sep 4, 2026
Python 4,296 570 Updated Aug 8, 2026

Mutation testing system

Python 1,425 168 Updated Sep 5, 2026

[JMLR 2026] "UQLM: A Python Package for Uncertainty Quantification in Large Language Models"

Python 1,196 131 Updated Sep 3, 2026

Span-level grounding verification for RAG, code, and tool-grounded AI outputs.

Python 603 53 Updated Aug 13, 2026

micro-ROS library for Platform.IO

Python 333 111 Updated Sep 17, 2025

Assorted files for my ESP32-S3 development boards

Python 292 39 Updated Oct 17, 2025

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...

Python 51 10 Updated Aug 25, 2026

A private server OS made for everyone - simple, secure, versatile.

Python 47 2 Updated Aug 31, 2026

πŸŽ“ 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.

Python 10 3 Updated Aug 1, 2026

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...

Python 5 Updated Aug 9, 2026

Agility infrastructure for regulated AI. Trace, Policy, Evidence under EU jurisdiction. Apache 2.0, on-premise capable.

Python 5 1 Updated Apr 22, 2026

Automatically create GitHub Issues for new arXiv papers in your research areas

Python 4 4 Updated Sep 6, 2026

Arrow Caching for Iceberg

Python 2 Updated Jun 4, 2026

An add on app for Home Assistant that makes Thread network monitoring and troubleshooting much easier

Python 1 Updated Jun 1, 2026
Python 1 Updated Sep 7, 2026
Python 1 Updated Jul 1, 2026

AI code verification engine β€” validates whether AI-generated code actually does what was intended. MCP Server + CLI + GitHub Action.

Python 1 Updated Mar 13, 2026

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /