misael — software engineer · agents & formal logic
Software engineer building AI systems that combine symbolic reasoning with LLM agents — agents backed by formal logic, not just language models.
Building
- Kanji Codex — Japanese kanji dictionary — search by meaning, reading, or visual similarity, with JLPT filtering
- YNAB Assistant — personal finance agent — talk to Claude, it runs YNAB tools and replies in your tone