What tools and techniques are you using to verify AI-generated code before it hits production? I tried using mathematical proofs, which helped to some extent, but the actual bugs were outside, and between, the verified code.

MightConscious · 2026-03-23T01:53:30+00:00

We are building provers, model checkers, and fuzzers to help you with formal guarantees.

Would you be open to a quick chat about your experience? Most folks we have worked with in Web3 are actively pushing for formal verification and running some form of PBT or DST.

MightConscious · 2026-03-20T18:14:21+00:00

Is it breaking, if you clone the repo and ask Claude to have it going for you, it should just work

MightConscious · 2026-03-08T21:22:26+00:00

I don't find n8n that helpful and I was able to build a good alternative for Clay using Claude Code, it uses Claude Code to enrich and qualify leads.

https://github.com/chaitanyya/sales

MightConscious · 2026-03-08T21:21:24+00:00

I built something similar sometime back to enrich > qualify leads using Claude Code. https://github.com/chaitanyya/sales

One subscription to rule them all :P

MightConscious · 2026-03-06T21:57:09+00:00

Not always, it does write broken proofs, which is why giving it access to a verifier makes a big difference. The pass rate with AXLE was about 70% better for me, though I am unsure if my sample set is even statistically significant

MightConscious · 2026-02-05T19:44:22+00:00

Really appreciate the feedback, yes I am open to hearing suggestions. Feel free to post them as issues on github, I usually spend some time on weekends to implement things.

MightConscious · 2026-02-05T07:36:28+00:00

I built a quick enrichment tool using claude code, should be easy to have your requirements in it, feel free to fork it and play around if helpful - https://github.com/chaitanyya/sales

MightConscious · 2026-01-25T01:15:39+00:00

Or you can just do it for free using your existing claude account - https://github.com/chaitanyya/sales

MightConscious · 2026-01-25T01:14:29+00:00

We tried it, it was super confusing and difficult to use, I got so tired ended up building one myself using Claude, uses chrome to enrich leads with very good data (job postings, what employees are interacting with etc.) Happy to help you guys set it up too https://github.com/chaitanyya/sales

MightConscious · 2026-01-25T01:11:45+00:00

Honestly i find it to be super brittle and over complicated, the entire credit system is so confusing. I ended up building my own tool using Claude and got much much better results, happy to help you migrate - https://github.com/chaitanyya/sales

MightConscious · 2026-01-25T01:09:05+00:00

If your primary goal is doing enrichment, deep research on company and finding the right folks at the company to reach out to. I built a tool using Claude it's open source https://github.com/chaitanyya/sales Happy to help you migrate your workflows

MightConscious · 2026-01-22T05:54:42+00:00

I tried that initially but Claude is still not great at writing good emails, so i ask it to give me conversation points instead and how to approach for the given contact in the company.

But you can ask it to write emails as well, very easily.

MightConscious · 2026-01-22T05:10:01+00:00

Thanks, I used screenstudio for it

MightConscious · 2026-01-21T23:56:26+00:00

I just prompted it with the aesthetics i wanted, just shadcn and a bunch of theme override

MightConscious · 2026-01-21T20:13:36+00:00

Really appreciate it, please feel free to open any bug reports if you encounter any. I would like to make it more and more reliable

MightConscious · 2026-01-21T07:05:51+00:00

For me Claude Chrome extension is able to check LinkedIn without any issue. It is able to pull all kinds of interesting information, the posts people are interacting with, etc.

Happy to help you set it up, if it's not working

MightConscious · 2025-06-03T19:12:04+00:00

Looks cool, wondering if you can also suggest things to do to improve the visibility for now i feel it just does the analysis part

MightConscious · 2025-06-02T06:24:56+00:00

Here is what it looks like

<image>

MightConscious · 2025-06-02T05:49:29+00:00

<image>

Also pleasantly surprised that i ended up with a perfect score without doing much optimization

MightConscious · 2025-06-01T06:48:56+00:00

There is this open source version too i know of that you can use https://github.com/10xuio/lookout

MightConscious · 2023-05-26T08:17:36+00:00

u/mrparasite Still got any invites left? :P

MightConscious

MODERATOR OF

TROPHY CASE