Skip to content
View mygithubhk's full-sized avatar

Block or report mygithubhk

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.

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
Showing results

OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.

TypeScript 22,199 1,941 Updated Apr 13, 2026

The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.

Rust 183,397 107,844 Updated Apr 13, 2026

An open-source AI agent that lives in your terminal.

TypeScript 23,038 2,141 Updated Apr 13, 2026

Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

Lean 82 4 Updated Mar 16, 2026

🔥 The Web Data API for AI - Power AI agents with clean web data

TypeScript 108,670 6,979 Updated Apr 13, 2026

Public repository for Agent Skills

Python 116,611 13,391 Updated Apr 13, 2026

The Lean Computer Science Library (CSLib)

Lean 479 118 Updated Apr 13, 2026

Automata theory in Lean

Lean 19 1 Updated Mar 25, 2026

The conversational control layer for customer-facing AI agents - Parlant is an agentic harness optimized for controlling customer interactions.

Python 17,917 1,517 Updated Apr 13, 2026

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript 101,144 13,087 Updated Apr 13, 2026

Lightweight coding agent that runs in your terminal

Rust 75,037 10,619 Updated Apr 13, 2026

Search-R1: An Efficient, Scalable RL Training Framework for Reasoning & Search Engine Calling interleaved LLM based on veRL

Python 4,457 387 Updated Nov 13, 2025

Memory engine and app that is extremely fast, scalable. The Memory API for the AI era.

TypeScript 21,745 1,993 Updated Apr 12, 2026

PyTorch native post-training library

Python 5,731 713 Updated Apr 13, 2026

An AI-powered research assistant that performs iterative, deep research on any topic by combining search engines, web scraping, and large language models. The goal of this repo is to provide the si…

TypeScript 18,739 1,935 Updated Apr 11, 2026

QA via natural language AI tests

TypeScript 5,567 329 Updated Aug 18, 2025

Real time transcription with OpenAI Whisper.

Python 2,919 484 Updated Apr 15, 2025

🌐 The Internet Computer! Free, Open-Source, and Self-Hostable.

JavaScript 40,267 3,604 Updated Apr 12, 2026

Agent Laboratory is an end-to-end autonomous research workflow meant to assist you as the human researcher toward implementing your research ideas

Python 5,498 775 Updated Aug 20, 2025

An AI agent that writes (actually useful) code for you

TypeScript 4,289 375 Updated Nov 14, 2024

An agent benchmark with tasks in a simulated software company.

Python 680 110 Updated Nov 17, 2025

monospace theme for MkDocs

Python 314 20 Updated Apr 13, 2026

Perplexity style AI Search engine clone built with Gemini 2.0 Flash and Grounding

TypeScript 2,067 414 Updated Jan 4, 2025

Spec-driven development for large codebases

Python 5,317 596 Updated Apr 13, 2026

Your AI second brain. Self-hostable. Get answers from the web or your docs. Build custom agents, schedule automations, do deep research. Turn any online or local LLM into your personal, autonomous …

Python 34,060 2,131 Updated Mar 26, 2026

🌐 Make websites accessible for AI agents. Automate tasks online with ease.

Python 87,635 10,079 Updated Apr 12, 2026

Automagically reverse-engineer REST APIs via capturing traffic

HTML 9,348 348 Updated Apr 13, 2026

CISO Assistant is a one-stop-shop GRC platform for Risk Management, AppSec, Compliance & Audit, TPRM, Privacy, and Reporting. It supports 130+ global frameworks with automatic control mapping, incl…

Python 3,946 686 Updated Apr 13, 2026

Red-Teaming Language Models with DSPy

Python 254 28 Updated Feb 13, 2025

The Intelligent Copilot for Solana

TypeScript 449 157 Updated May 26, 2025
Next