This repository contains exclusively AI-implemented applications and libraries curated by @tomzx.
TomzxCode
Pinned Loading
Repositories
Showing 10 of 35 repositories
- agentic Public
Track work as tasks: associate the Slack threads, GitHub issues/PRs, and Google Drive docs that feed them, spin up git worktrees to work on them, and let a coding agent keep a current summary and next-steps list.
- slackx Public
A small Python CLI that caches Slack threads, channel messages, users, and channels to a local SQLite database.
- ghx Public
An extended GitHub CLI. It caches issues, pull requests, and comments to disk to minimise API calls, and provides PR/issue comment operations beyond the standard gh CLI.
- p-np Public
A verified research corpus and Lean 4 formalization around the P vs NP problem: route maps, claim forensics, experiments, and the p=2 core of the Krajicek pseudo-solution program.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…