TomzxCode

A simple web application to do journaling.

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.

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.

Monitor GitHub issues, PRs, issues and PRs comments through polling with gh

Autonomous self-improving agent

A persistent task-stack tray app.

Experiments in LLM augmented workflows

An entity manager for LLMs.

Transparent GPG encryption/decryption for files in VS Code.

A privacy-sensitive notes management CLI tool with hashtag-based access control.