misael — software engineer · agents & formal logic
Software engineer at a national lab, building AI systems that combine symbolic reasoning with LLM agents.
Projects
- Kanji Codex — Japanese kanji learning app with a dictionary, adaptive quizzes, and visual similarity discovery across 2,000+ kanji
- YNAB Assistant — agent-driven personal finance tool for YNAB spending analysis, net worth tracking, and financial health reports, built around a layered Claude Code skill system