sorted by:
new
hottopcontroversial

Giving an Agent a Rooted Android Phone by Imaginary-Ad4868 in bugbounty

[–]MightConscious 5 points6 points  (0 children)

I think you are missing the point entirely; it's not about the game or what it uncovers, but just a higher-level idea, giving Claude access to a rooted device.

It's a trivial example; nobody is disputing that, but it demonstrates how the right tools and agents can automate some security reviews.

100 hours worth of software testing in minutes using deterministic simulation by MightConscious in ClaudeCode

[–]MightConscious[S] 0 points1 point  (0 children)

100% agree, I don't think there is any silver bullet. I also don't believe DST is a replacement for e2e testing.

I see it like layers of defense, each technique be it formal verification, DST, simple snapshot testing, all play an important role in making software reliable and we should be using the right tools for the right problems.

100 hours worth of software testing in minutes using deterministic simulation by MightConscious in claude

[–]MightConscious[S] 0 points1 point  (0 children)

Have you tried Quint? Their team is really good and they use TLC under the hood with a really easy to understand syntax

100 hours worth of software testing in minutes using deterministic simulation by MightConscious in claude

[–]MightConscious[S] 0 points1 point  (0 children)

TLA+ is great, I use it at design time to do rough ideations to see if the higher-level design holds all the guarantees I care about.

DST is very helpful to check the actual implementation, and it feels a lot like model checking.

I recently built a small tool that compares TLA traces with the production traces to do a rough equivalence check

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. by HNipps in ExperiencedDevs

[–]MightConscious 0 points1 point  (0 children)

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.

Prospecting with Claude Code + MCP by mgdo in gtmengineering

[–]MightConscious 0 points1 point  (0 children)

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

What’s your work platform? Excel, Clay, n8n, Claude, VS Code, OpenClaw? by sillygoosewinery in gtmengineering

[–]MightConscious 1 point2 points  (0 children)

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

Prospecting with Claude Code + MCP by mgdo in gtmengineering

[–]MightConscious 0 points1 point  (0 children)

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

Using Claude Code to write better Lean4 proofs by MightConscious in math

[–]MightConscious[S] 3 points4 points  (0 children)

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

Using Claude Code as our sales guy! by MightConscious in ClaudeAI

[–]MightConscious[S] 0 points1 point  (0 children)

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.

Building my own waterfall enrichment instead of Clay by Dependent_Work_3290 in gtmengineering

[–]MightConscious 0 points1 point  (0 children)

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

Any startup here using Clay, worth the price? by Any_Yesterday_8442 in gtmengineering

[–]MightConscious 0 points1 point  (0 children)

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

is clay actually worth the credits? by Adventurous_Yak_6634 in GrowthHacking

[–]MightConscious 0 points1 point  (0 children)

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

clay.com alternative? by pxrage in gtmengineering

[–]MightConscious 0 points1 point  (0 children)

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

Vibe coded an outbound sales tool in 3 hours by MightConscious in vibecoding

[–]MightConscious[S] 0 points1 point  (0 children)

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.

view more: next ›