☆ Yσɠƚԋσʂ ☆ to Crush Agentic AIEnglish · 1 month ago

claimcheck: Narrowing the Gap between Proof and Intent

7

6

claimcheck: Narrowing the Gap between Proof and Intent

☆ Yσɠƚԋσʂ ☆ to Crush Agentic AIEnglish · 1 month ago

7

A verified proof guarantees the code is correct, but does it guarantee what you actually meant to guarantee? claimcheck uses round-trip informalization to narrow the gap between formal proof and original intent.

Chat

acabjones
link
fedilink
arrow-up
4·
1 month ago
Yog, I’m getting a lot of good LLM tooling tips from you and wanted to say thanks!
- ☆ Yσɠƚԋσʂ ☆OP
  link
  fedilink
  arrow-up
  3·
  1 month ago
  No prob, glad to hear it’s helpful!

Crush Agentic AI

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !crushagent@lemmygrad.ml

A community to talk about agentic AI, especially Crush, and to share our best practices, what we’re working on, etc.

Our mission: To make comrades as autonomous as possible as soon as possible on these new tools. To push the limits of what is possible.

Rules:

Be helpful, don’t retain information. The point is to learn from each other!
Guideline to help with that: when posting, be clear as possible about what exactly is AI or not, your process, your prompts, the limitations you ran into. Feel free to add more in the comments if you want to use your post as a journal/log.
Other agents are allowed although we like Crush and Deepseek. Non-agent posts are also allowed, if you want to talk about AI more generally.

Install Crush:

Run the appropriate command on the official repo (OS-dependent).
Open your shell interface, ‘cd’ to project folder - one folder per project.
Run ‘crush’ command.
On first run, it will ask for model. Type ‘Thinking’ to get Deepseek-v3 (Thinking).
Top up your Deepseek API balance here.
Create Deepseek API key and copy.
Go back to crush, paste API key.
Prompt and watch it go brrrrr.

Tip: Deepseek is currently one of the cheapest APIs period, and for performance. But Crush uses the old pricing data so don’t be scared if you see 10x the spending in Crush - chances are you have only spent 10 cents.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1 user / day
1 user / week
19 users / month
147 users / 6 months
17 local subscribers
22 subscribers
53 Posts
141 Comments
Modlog

mods:
CriticalResist8