Yad Konrad
Community@0bserver07 · New York
- Coding Agents & Agent Driven Systems. - Program Synthesis. - ML/Data Infra. - Off. Sec. Research. Elsewhere: - Creative Writing / Standup Comedian
Agent Skills by Yad Konrad
Showing 16 vetted skills indexed across 1 GitHub repositories.
0bserver07polynomial-proof
Determine polynomial irreducibility and factorizations over specified rings.
0bserver07probabilistic-method
Prove existence of mathematical objects using probabilistic methods.
0bserver07explain-proof
Explain mathematical proofs and Lean code step by step.
0bserver07coordinate-proof
Proves geometric theorems using distance, midpoint, and slope formulas on coordinate systems.
0bserver07strong-induction
Prove natural number statements by assuming P(k) for all k less than n.
0bserver07direct-proof
Prove logical implications by assuming hypotheses and deriving conclusions with justified steps.
0bserver07epsilon-delta-proof
Prove limits rigorously using epsilon-delta definitions for real-valued functions.
0bserver07synthetic-construction
Prove geometric theorems using compass-and-straightedge constructions and congruence criteria.
0bserver07counting-argument
Prove combinatorial identities using double counting or bijection techniques.
0bserver07conjecture-exploration
Explore mathematical conjectures by gathering evidence and identifying counterexamples.
0bserver07ring-ideal-proof
Prove ring and ideal properties with machine-checked Lean 4 proofs.
0bserver07convergence-test
Determine infinite series convergence or divergence using standard tests.
0bserver07inequality-chain
Prove inequalities by chaining classical bounds like AM-GM and Cauchy-Schwarz.
0bserver07pigeonhole-argument
Generate pigeonhole-based existence proofs for n+1 items in n categories.
0bserver07proof-by-induction
Automate induction proofs for natural numbers with Lean 4 verification.
0bserver07formalize-informal-proof
Convert informal mathematical proofs into Lean 4 code for formal verification.