misael — software engineer · agents & formal logic

Software engineer at a national lab, building AI systems that combine symbolic reasoning with LLM agents.

Maryland · open to opportunities

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