Skip to content

DEV Community

Scidonia

We have entered the age of vericoding. Specification > AI Implementation > Mathematical certified proof.

Ireland Joined on Nov 17, 2025 https://scidonia.ai

Scidonia

Oct 20

We Built a Tokio-Style Scheduler in a Theorem Prover (And It Beat Node.js)

#ai #opensource #softwaredevelopment #programming

3 min read

Scidonia

Oct 2

What is vericoding?

#ai #certification #vibecoding #verificaiton

4 min read

Scidonia

Nov 17 '25

Automate Document Workflows with AI

#ai #productivity #python #tutorial

5 min read

loading...