# Tomas Korcak

> Software for evidence: AI agents that prove their work, honest instruments in the browser, knowledge you can check.

Tomas Korcak builds software for evidence: tools that make AI agents prove their
work, honest scientific instruments in the browser, and knowledge bases that can be checked.
Every project below links to its source on GitHub; most have a live site.

## Pages

- [Home](https://korczis.github.io/): who I am, featured projects, activity
- [About](https://korczis.github.io/about/): profile, CV, languages over the years, sources
- [Projects](https://korczis.github.io/projects/): the curated catalogue, filterable, with project details
- [Repositories](https://korczis.github.io/repositories/): every original repository on GitHub and GitLab
- [Recent work](https://korczis.github.io/work/): every project with a commit in the last 12, 24 and 48 months, one page each
- [Stack](https://korczis.github.io/stack/): the tools and practices behind every project

## AI engineering

Supervision for AI coding agents: one policy for every tool, scoped tasks, and work that lands only when it is proven. https://korczis.github.io/projects/ai/

- [Majordomus](https://github.com/korczis/prismatic-majordomus): AI agents say the work is done; Majordomus makes them prove it. Live: https://majordomus.dev

## Science and visualisation

Honest instruments and drawn algorithms in the browser: acoustics, physics, sorting, mazes, each readout measured. https://korczis.github.io/projects/science/

- [Oscilla](https://github.com/korczis/oscilla): A zero-install acoustic laboratory in the browser. Live: https://korczis.github.io/oscilla/
- [algoglyph](https://github.com/korczis/algoglyph): Algorithms and physics drawn as glyphs. Live: https://korczis.github.io/algoglyph/
- [maze-rs](https://github.com/korczis/maze-rs): Mazes for Programmers, in Rust. Live: https://korczis.github.io/maze-rs/
- [big-png](https://github.com/korczis/big-png): The biggest image in the smallest space.

## Knowledge

Knowledge bases you can check: cross-linked taxonomies with their sources, built as books, sites and graphs. https://korczis.github.io/projects/knowledge/

- [Kompendium](https://github.com/korczis/kompendium-epistemicke-anihilace): A defensive taxonomy of epistemic and cognitive manipulation (Czech). Live: https://korczis.github.io/kompendium-epistemicke-anihilace/

## Data and GIS

Catalogues and maps of open data: geodata sources, incident reports geocoded and served from one registry. https://korczis.github.io/projects/data/

- [Data Atlas](https://github.com/korczis/data-atlas): A searchable catalogue of GIS and geodata sources (Czech). Live: https://korczis.github.io/data-atlas/
- [Crisis map](https://github.com/korczis/crisis-map): Incident reports, normalised, geocoded and mapped. Live: https://korczis.github.io/crisis-map/

## Media and art

Work made from code: a promo reel rendered end to end, a music blog, and a digital artifact or two. https://korczis.github.io/projects/media/

- [Majordomus reel](https://github.com/korczis/majordomus-reel): A promo reel rendered entirely from code. Live: https://korczis.github.io/majordomus-reel/
- [Catharsis as a Service](https://github.com/korczis/catharsis-as-a-service): An emotional state transition endpoint. Live: https://korczis.github.io/catharsis-as-a-service/
- [Sonic Playground](https://github.com/korczis/sonic-playground): Music that moves you, not algorithmic noise. Live: https://korczis.github.io/sonic-playground/

## Tools

Small, sharp command-line tools and indexes: data conversion, CSV to SQL, gist search. https://korczis.github.io/projects/tools/

- [Gists search](https://github.com/korczis/gists-search): Catalogue, enrichment and search over a mirror of my gists. Live: https://korczis.github.io/gists-search/
- [json2csv](https://github.com/korczis/json2csv): Easy to use tool for converting JSON to CSV.
- [csv2psql](https://github.com/korczis/csv2psql): CSV into SQL statements for PostgreSQL. Live: https://korczis.github.io/csv2psql/

## Optional

- [Majordomus](https://majordomus.dev): the supervisory layer this site is built under
- [Full index for language models](https://korczis.github.io/llms-full.txt): every original repository with its links
- [GitHub profile](https://github.com/korczis)
- [GitLab profile](https://gitlab.com/korczis)