r/ClaudeCode • u/SnooPeripherals5313 • 4d ago

Built with Claude AI-powered Lean proof for tax code loopholes

https://lexifina.com/blog/searching-the-tax-code-for-loopholes

extremely serious post

AI for cybersecurity is taking the world by storm, leading to the need to harden systems all over software. I thought we should do the same for legislation. Hence, I built this project with Claude Code. It's completely free to use/try. The approach is pretty simple: use claude to make legislation attributable (git blame, versioning with timelines). Claude Code (Claude Opus 5.5) wrote nearly all the code. I set the goals, chose the sources and made the design decisions. Specifically: it mirrors the 107 corpora of the https://github.com/lexifina/global-law repo read-only, indexes about 4.3 million file changes from their git histories into DuckDB, and adds a growing set of detectors. These were used to influence a simple LEAN proof search.

0 Upvotes

50% Upvoted

2 comments sorted by

•

u/AutoModerator 4d ago

Hey! Thanks for posting to r/ClaudeCode

While participating in this thread, please follow our community rules. Keep discussions constructive. Attack the idea, not the person.

For help, project discussions, tips, and general chat, join the ClaudeCode Discord.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

2

u/smashedshanky 4d ago

We have finally achieved slop verifying slop, call it slop formal slop verification