https://www.nitrotap.dev/ 2026-07-31T14:14:33.840Z monthly 1 https://www.nitrotap.dev/verification 2026-07-31T14:14:33.840Z monthly 0.9 https://www.nitrotap.dev/projects 2026-07-31T14:14:33.840Z monthly 0.9 https://www.nitrotap.dev/blog 2026-07-31T00:00:00.000Z weekly 0.9 https://www.nitrotap.dev/about 2026-07-31T14:14:33.840Z monthly 0.8 https://www.nitrotap.dev/skills 2026-07-31T14:14:33.840Z monthly 0.7 https://www.nitrotap.dev/designs 2026-07-31T14:14:33.840Z monthly 0.7 https://www.nitrotap.dev/experience 2026-07-31T14:14:33.840Z yearly 0.6 https://www.nitrotap.dev/education 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/contact 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/projects/stats-claw 2026-07-31T14:14:33.840Z monthly 0.8 https://www.nitrotap.dev/projects/yee-claw 2026-07-31T14:14:33.840Z monthly 0.8 https://www.nitrotap.dev/projects/cobol-coder 2026-07-31T14:14:33.840Z monthly 0.8 https://www.nitrotap.dev/projects/coboleval 2026-07-31T14:14:33.840Z monthly 0.8 https://www.nitrotap.dev/projects/telesto-platform 2026-07-31T14:14:33.840Z monthly 0.8 https://www.nitrotap.dev/projects/proximal 2026-07-31T14:14:33.840Z monthly 0.8 https://www.nitrotap.dev/projects/city-code-assistant 2026-07-31T14:14:33.840Z monthly 0.8 https://www.nitrotap.dev/skills/verification 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/skills/ai-engineering 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/skills/symbolic-ai 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/skills/languages 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/skills/web 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/skills/data 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/skills/infrastructure 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/skills/statistics 2026-07-31T14:14:33.840Z yearly 0.5 https://www.nitrotap.dev/blog/a-gateway-is-a-control-point-not-a-proof 2026-07-31T00:00:00.000Z yearly 0.7 https://www.nitrotap.dev/blog/four-ways-to-prove-a-program-right 2026-07-31T00:00:00.000Z yearly 0.7 https://www.nitrotap.dev/blog/where-the-ghost-code-goes 2026-07-31T00:00:00.000Z yearly 0.7 https://www.nitrotap.dev/blog/proving-a-permutation-is-a-bijection 2026-07-20T00:00:00.000Z yearly 0.7 https://www.nitrotap.dev/blog/an-ontology-as-a-type-system 2026-07-06T00:00:00.000Z yearly 0.7 https://www.nitrotap.dev/blog/fine-tuning-for-cobol 2026-06-18T00:00:00.000Z yearly 0.7 https://www.nitrotap.dev/blog/wrapping-an-agent-in-mcp-is-a-schema-problem 2026-05-12T00:00:00.000Z yearly 0.7 https://www.nitrotap.dev/blog/when-the-user-table-becomes-a-cache 2026-03-24T00:00:00.000Z yearly 0.7 https://www.nitrotap.dev/blog/most-automation-is-a-query-on-a-timer 2026-02-10T00:00:00.000Z yearly 0.7 https://www.nitrotap.dev/blog/tag/kani 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/rust 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/verification 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/agents 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/evaluation 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/mcp 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/verus 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/auth0 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/authentication 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/automation 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/cobol 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/codegen 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/confluence 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/dafny 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/fine-tuning 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/governance 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/jira 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/jql 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/jwt 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/langchain 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/lean 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/llm 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/ontologies 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/payload 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/python 2026-07-31T00:00:00.000Z monthly 0.4 https://www.nitrotap.dev/blog/tag/typedb 2026-07-31T00:00:00.000Z monthly 0.4